Ticket #37425: coq-portfile-patch

File coq-portfile-patch, 1.6 KB (added by pmetzger (Perry E. Metzger), 11 years ago)

Patch to upgrade the Portfile

Line 
1--- Portfile.~1~        2012-10-01 16:01:20.000000000 -0400
2+++ Portfile    2012-12-28 15:11:26.000000000 -0500
3@@ -3,7 +3,7 @@
4 PortSystem  1.0
5 
6 name        coq
7-version     8.4
8+version     8.4pl1
9 revision    1
10 platforms   darwin
11 categories  lang math
12@@ -19,26 +19,20 @@
13   their formal specification. It is developed using Objective Caml and \
14   Camlp4.  For more information, see <${homepage}>.
15 
16-checksums           rmd160  6824f9542c823c7d943a59acefb90ff9c9dbe37a \
17-                    sha256  f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d
18+checksums           rmd160  fa472852de474ed5b83ddd4bd5a303f32b5dba94 \
19+                    sha256  5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
20 
21-# coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3
22-# TODO: verify if this is still the case
23-depends_lib        port:ocaml3 port:ocaml3-camlp5
24+depends_lib        port:ocaml port:camlp5
25 
26-configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH)
27 configure.pre_args -prefix ${prefix}
28 configure.args     -emacslib ${prefix}/share/emacs/site-lisp/ \
29                    -mandir ${prefix}/share/man \
30                    -coqdocdir ${prefix}/share/coq/latex \
31                    -coqide none \
32-                   -with-doc no \
33-                   -camldir ${prefix}/libexec/ocaml3 \
34-                   -camlp5dir ${prefix}/lib/ocaml3/camlp5
35-build.env-append    PATH=${prefix}/libexec/ocaml3:$env(PATH)
36-build.target       world
37+                   -with-doc no
38+build.target       world
39 
40-destroot.target    install
41+destroot.target    install
42 destroot.destdir   COQINSTALLPREFIX=${destroot}
43 
44 # ocaml is not universal