| 1 | Index: coq/Portfile |
|---|
| 2 | =================================================================== |
|---|
| 3 | RCS file: /Volumes/src/cvs/od/proj/darwinports/dports/lang/coq/Portfile,v |
|---|
| 4 | retrieving revision 1.4 |
|---|
| 5 | diff -u -r1.4 Portfile |
|---|
| 6 | --- coq/Portfile 4 Sep 2004 16:32:21 -0000 1.4 |
|---|
| 7 | +++ coq/Portfile 28 Oct 2004 14:38:32 -0000 |
|---|
| 8 | @@ -11,7 +11,18 @@ |
|---|
| 9 | their formal specification. It is developed using Objective Caml and \ |
|---|
| 10 | Camlp4. For more information, see <http://coq.inria.fr/>. |
|---|
| 11 | master_sites ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ |
|---|
| 12 | -checksums md5 95237e64081d7306fdea49e1988bde12 |
|---|
| 13 | + |
|---|
| 14 | +distfiles ${name}-${version}.tar.gz:coq \ |
|---|
| 15 | + patch-coq-${version}-ocaml-3.08.1:coqpatch |
|---|
| 16 | + |
|---|
| 17 | +checksums ${name}-${version}.tar.gz md5 95237e64081d7306fdea49e1988bde12 \ |
|---|
| 18 | + patch-coq-${version}-ocaml-3.08.1 md5 02ac210c6af5d8e258a2805a22822a8b |
|---|
| 19 | + |
|---|
| 20 | +pre-patch { |
|---|
| 21 | + system "cd ${workpath}/${name}-${version} && \ |
|---|
| 22 | + patch -p0 < ${distpath}/patch-coq-${version}-ocaml-3.08.1" |
|---|
| 23 | +} |
|---|
| 24 | + |
|---|
| 25 | configure.pre_args -prefix ${prefix} |
|---|
| 26 | configure.args -emacslib ${prefix}/share/emacs/site-lisp/ |
|---|
| 27 | depends_build bin:ocamlc:ocaml |
|---|
