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

compcert: depend on coq

Browse source 
depend on coq since the version in core (8.6) now matches what is needed

Closes #11463.

Signed-off-by: Tomasz Pajor <tomek@polishgeeks.com>
This commit is contained in:
ilovezfs 2017-03-22 05:22:02 -07:00 committed by Tomasz Pajor
parent 1df2016db7
commit 6abd0e096f
1 changed files with 7 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
Formula/compcert.rb
View file

@ -3,6 +3,7 @@ class Compcert < Formula
homepage "http://compcert.inria.fr"
url "http://compcert.inria.fr/release/compcert-3.0.1.tgz"
sha256 "09c7dc18c681231c6e83a963b283b66a9352a9611c9695f4b0c4b7df8c90f935"
revision 1
bottle do
cellar :any_skip_relocation
@ -13,9 +14,9 @@ class Compcert < Formula
option "with-config-x86_64", "Build Compcert with ./configure 'x86_64'"
depends_on "coq" => :build
depends_on "menhir" => :build
depends_on "ocaml" => :build
depends_on "opam" => :build
def install
ENV.permit_arch_flags
@ -26,24 +27,11 @@ class Compcert < Formula
# causes problems with the compcert compiler at runtime.
inreplace "configure", "${toolprefix}gcc", "${toolprefix}#{ENV.cc}"
ENV["OPAMYES"] = "1"
ENV["OPAMROOT"] = Pathname.pwd/"opamroot"
(Pathname.pwd/"opamroot").mkpath
system "opam", "init", "--no-setup"
system "opam", "install", "coq=8.6"
if build.with? "config-x86_64"
system "opam", "config", "exec", "--",
"./configure", "-prefix", prefix, "x86_64-macosx"
else
system "opam", "config", "exec", "--",
"./configure", "-prefix", prefix, "ia32-macosx"
end
system "opam", "config", "exec", "--",
"make", "all"
system "opam", "config", "exec", "--",
"make", "install"
args = ["-prefix", prefix]
args << (build.with?("config-x86_64") ? "x86_64-macosx" : "ia32-macosx")
system "./configure", *args
system "make", "all"
system "make", "install"
end
test do