summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorKris Kennaway <kris@FreeBSD.org>2006-03-06 20:30:52 +0000
committerKris Kennaway <kris@FreeBSD.org>2006-03-06 20:30:52 +0000
commit0dd9f92e5255f960c7ca7e4eb4c8fad69a4623d5 (patch)
tree18454244055cb74e4a7f545248dbe14240628c3c /math
parentBROKEN on sparc64: Does not compile (diff)
BROKEN: Does not build
Approved by: portmgr (implicit)
Notes
Notes: svn path=/head/; revision=156986
Diffstat (limited to 'math')
-rw-r--r--math/coq/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 19029eb48085..bfe6e3d809dc 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -19,6 +19,8 @@ COMMENT= Theorem prover based on lambda-C
BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml
+BROKEN= Does not build
+
USE_GMAKE= yes
ALL_TARGET= world
WITH_IDE= yes