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

ryandesign at macports.org ryandesign at macports.org
Sat May 17 00:47:36 PDT 2008


Revision: 36887
          http://trac.macosforge.org/projects/macports/changeset/36887
Author:   ryandesign at macports.org
Date:     2008-05-17 00:47:36 -0700 (Sat, 17 May 2008)

Log Message:
-----------
coq: simplify things; fix "Error: No defined site for tag: coq, using master_sites"

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2008-05-17 07:47:11 UTC (rev 36886)
+++ trunk/dports/lang/coq/Portfile	2008-05-17 07:47:36 UTC (rev 36887)
@@ -6,19 +6,18 @@
 version     8.1pl2
 categories  lang math
 maintainers reilles at loria.fr
+homepage    http://coq.inria.fr/
+master_sites ${homepage}V${version}/files/
+
 description Proof assistant for higher-order logic
 long_description  \
   Coq is a proof assistant for higher-order logic,\
   which allows the development of computer programs consistent with \
   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  http://coq.inria.fr/V8.1pl2/files/
+  Camlp4.  For more information, see <${homepage}>.
 
-distfiles          ${name}-${version}.tar.gz:coq \
+checksums sha1 33ab31abffe42559a5c8341b66a0520805337526
 
-checksums ${name}-${version}.tar.gz sha1 33ab31abffe42559a5c8341b66a0520805337526
-
 configure.pre_args -prefix ${prefix}
 configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
 depends_lib        bin:ocamlc:ocaml port:camlp5

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080517/1e43275c/attachment.htm 


More information about the macports-changes mailing list