diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2012-03-14 20:11:56 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2012-03-14 20:11:56 +0000 |
| commit | b67329949f6b87129a486ccf5b4f37d08c83fc6e (patch) | |
| tree | 6a4491889aeae4e3a244cbfaadc9bc69f7a52515 /math/coq | |
| parent | 14d164ef4313db63c17434f372023ab64d025069 (diff) | |
| download | ports-b67329949f6b87129a486ccf5b4f37d08c83fc6e.tar.gz ports-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
Notes
Notes:
svn path=/head/; revision=293317
Diffstat (limited to 'math/coq')
| -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 |