fstar: build with OCaml 4.05.0 from OPAM (#20293)

2017-11-05 01:36:32 -08:00 · 2017-11-05 01:36:32 -08:00 · 8987d8c2b9
commit 8987d8c2b9
parent e25fe04124
1 changed files with 2 additions and 0 deletions
--- a/Formula/fstar.rb
+++ b/Formula/fstar.rb
@ -45,6 +45,8 @@ class Fstar < Formula
    inreplace "opamroot/compilers/4.05.0/4.05.0/4.05.0.comp",
      '["./configure"', '["./configure" "-no-graph"' # Avoid X11

+    system "opam", "switch", "4.05.0"
+
    if build.stable?
      system "opam", "config", "exec", "opam", "install", "batteries=2.7.0",
             "zarith=1.5", "yojson=1.4.0", "pprint=20140424", "stdint=0.4.2",