ssreflect: set safe-string=0 for OCaml 4.06.0 compat
This commit is contained in:
parent
1ef59f2dee
commit
6f38444819
1 changed files with 2 additions and 0 deletions
|
@ -41,6 +41,8 @@ class Ssreflect < Formula
|
|||
patch :DATA
|
||||
|
||||
def install
|
||||
ENV["OCAMLPARAM"] = "safe-string=0,_" # OCaml 4.06.0 compat
|
||||
|
||||
resource("coq84").stage do
|
||||
system "./configure", "-prefix", libexec/"coq",
|
||||
"-camlp5dir", Formula["camlp5"].opt_lib/"ocaml/camlp5",
|
||||
|
|
Loading…
Reference in a new issue