Revision
75734
Author
jmr@macports.org
Date
2011-02-05 18:29:15 -0800 (Sat, 05 Feb 2011)

Log Message

coq: disable universal variant (closes #22596)

Modified Paths

Diff

Modified: trunk/dports/lang/coq/Portfile (75733 => 75734)


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