| 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 |
|---|
