wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fstar: make ocaml a required dependency

Browse source 
instead of build-time or recommended.
This commit is contained in:
ilovezfs 2018-06-01 08:30:49 -07:00
parent d97529f00b
commit 3a79f8f243
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Formula/fstar.rb
View file

@ -13,12 +13,11 @@ class Fstar < Formula
sha256 "1b410c9bb0dca7b9a5988cc6522404e54b793aaed2a88a973ffb3b409a12ca89" => :el_capitan
end
depends_on "ocaml" => :build
depends_on "ocamlbuild" => :build
depends_on "camlp4" => :build
depends_on "opam" => :build
depends_on "gmp"
depends_on "ocaml" => :recommended
depends_on "ocaml"
# FStar uses a special cutting-edge release from the Z3 team.
# As we don't depend on the standard release we can't use the z3 formula.