diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2012-03-15 04:11:56 +0800 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2012-03-15 04:11:56 +0800 |
| commit | b67329949f6b87129a486ccf5b4f37d08c83fc6e (patch) | |
| tree | 6a4491889aeae4e3a244cbfaadc9bc69f7a52515 | |
| parent | 14d164ef4313db63c17434f372023ab64d025069 (diff) | |
| download | freebsd-ports-gnome-b67329949f6b87129a486ccf5b4f37d08c83fc6e.tar.gz freebsd-ports-gnome-b67329949f6b87129a486ccf5b4f37d08c83fc6e.tar.zst freebsd-ports-gnome-b67329949f6b87129a486ccf5b4f37d08c83fc6e.zip | |
- Mark BROKEN: does not compile
OCAMLC pretyping/pretype_errors.mli
OCAMLOPT pretyping/pretype_errors.ml
File "pretyping/pretype_errors.ml", line 48, characters 4-109:
Error: Unbound constructor Stdpp.Exc_located
gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2
Reported by: pointyhat
Feature safe: yes
| -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 85aae46c97ca..09ce880c5d97 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -19,6 +19,8 @@ COMMENT= Theorem prover based on lambda-C BUILD_DEPENDS= camlp5:${PORTSDIR}/devel/ocaml-camlp5 +BROKEN= does not build + COQVERSION= ${PORTVERSION:R}pl${PORTVERSION:E} USE_OCAML= yes USE_GMAKE= yes |