Boost is a runtime dependency (#28)

kframework · Oct 13, 2023 · 454e0ee · 454e0ee
1 parent bd05bda
commit 454e0ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Formula/kframework.rb b/Formula/kframework.rb
@@ -8,12 +8,12 @@ class Kframework < Formula
     rebuild 611
     sha256 ventura: "6ce3bb896d8a073d5024b1c5d9867e1cca0b20ebe2d0b5a2c6ea7737cf610ddf"
   end
-  depends_on "boost" => :build
   depends_on "cmake" => :build
   depends_on "haskell-stack" => :build
   depends_on "maven" => :build
   depends_on "pkg-config" => :build
   depends_on "bison"
+  depends_on "boost"
   depends_on "flex"
   depends_on "fmt"
   depends_on "gmp"