diff options
| author | kris <kris@FreeBSD.org> | 2006-03-07 04:30:52 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2006-03-07 04:30:52 +0800 |
| commit | ba8f8804e183a4044029b20f4ea0100ae0e56f53 (patch) | |
| tree | 12415da1b7d7526f08a2b0f88e0e956b6c637a22 /math/coq/Makefile | |
| parent | e30aa0b362bdcc8b9102c09f143ef7e47efa6b0f (diff) | |
| download | freebsd-ports-gnome-ba8f8804e183a4044029b20f4ea0100ae0e56f53.tar.gz freebsd-ports-gnome-ba8f8804e183a4044029b20f4ea0100ae0e56f53.tar.zst freebsd-ports-gnome-ba8f8804e183a4044029b20f4ea0100ae0e56f53.zip | |
BROKEN: Does not build
Approved by: portmgr (implicit)
Diffstat (limited to 'math/coq/Makefile')
| -rw-r--r-- | math/coq/Makefile | 2 |
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 |