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

jmr at macports.org jmr at macports.org
Sat Feb 5 18:29:16 PST 2011


Revision: 75734
          http://trac.macports.org/changeset/75734
Author:   jmr at macports.org
Date:     2011-02-05 18:29:15 -0800 (Sat, 05 Feb 2011)
Log Message:
-----------
coq: disable universal variant (closes #22596)

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2011-02-06 02:19:07 UTC (rev 75733)
+++ trunk/dports/lang/coq/Portfile	2011-02-06 02:29:15 UTC (rev 75734)
@@ -35,6 +35,9 @@
 destroot.destdir   COQINSTALLPREFIX=${destroot}
 patchfiles         patch-tools-coq_makefile.ml4.diff
 
+# ocaml is not universal
+universal_variant  no
+
 livecheck.type	regex
 livecheck.url	${homepage}/download/
 livecheck.regex	"<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110205/14ce5656/attachment-0001.html>


More information about the macports-changes mailing list