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

fstar: do not pin opam packages

Browse source 
Closes #28570.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
Santiago Zanella-Beguelin 2018-06-01 16:43:38 +01:00 committed by ilovezfs
parent 3a79f8f243
commit db3f6b3cee
1 changed files with 4 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
Formula/fstar.rb
View file

@ -47,20 +47,10 @@ class Fstar < Formula
end
system "opam", "init", "--no-setup"
if build.stable?
system "opam", "config", "exec", "opam", "install",
"ocamlfind=1.8.0", "batteries=2.8.0",
"stdint=0.5.1", "zarith=1.7", "yojson=1.4.1", "fileutils=0.5.3",
"pprint=20171003", "menhir=20171222", "ulex=1.2",
"ppx_deriving=4.2.1", "ppx_deriving_yojson=3.1", "process=0.2.1"
else
system "ocamlfind", "batteries",
"stdint", "zarith", "yojson", "fileutils",
"pprint", "menhir", "ulex",
"ppx_deriving", "ppx_deriving_yojson", "process"
end
system "opam", "config", "exec", "opam", "install",
"ocamlfind", "batteries", "stdint", "zarith", "yojson", "fileutils",
"pprint", "menhir", "ulex", "ppx_deriving", "ppx_deriving_yojson",
"process"
system "opam", "config", "exec", "--", "make", "-C", "src/ocaml-output"
(libexec/"bin").install "bin/fstar.exe"