Revision: 75734 http://trac.macports.org/changeset/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: -------------- 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\">"