[30978] trunk/dports/lang/coq/Portfile

[source_changes at macosforge.org]

Revision: 30978
          http://trac.macosforge.org/projects/macports/changeset/30978
Author:   milosh at macports.org
Date:     2007-11-12 14:46:51 -0800 (Mon, 12 Nov 2007)

Log Message:
-----------
Update from maintainer. 
Coq now builds with ocaml 3.10.

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2007-11-12 22:41:22 UTC (rev 30977)
+++ trunk/dports/lang/coq/Portfile	2007-11-12 22:46:51 UTC (rev 30978)
@@ -1,7 +1,9 @@
 # $Id$
+
 PortSystem  1.0
+
 name        coq
-version     8.1
+version     8.1pl2
 categories  lang math
 maintainers reilles at loria.fr
 description Proof assistant for higher-order logic
@@ -11,15 +13,15 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <http://coq.inria.fr/>.
 homepage      http://coq.inria.fr/
-master_sites  ftp://ftp.inria.fr/INRIA/coq/V8.1/
+master_sites  http://coq.inria.fr/V8.1pl2/files/
 
 distfiles          ${name}-${version}.tar.gz:coq \
 
-checksums ${name}-${version}.tar.gz sha1 151aca5b7c919eeb39ba3c6fecec836b7953b206
+checksums ${name}-${version}.tar.gz sha1 33ab31abffe42559a5c8341b66a0520805337526
 
 configure.pre_args -prefix ${prefix}
 configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
-depends_build      bin:ocamlc:ocaml
+depends_lib        bin:ocamlc:ocaml port:camlp5
 build.target       world 
 destroot.target    install 
 destroot.destdir   COQINSTALLPREFIX=${destroot} \

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071112/fcd94b5e/attachment.html