#12538 closed defect (fixed)
Coq 8.1 fails to compile
| Reported by: | robdockins@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.5.0 |
| Keywords: | Cc: | robdockins@…, reilles@… | |
| Port: |
Description
Look like some sort of problem with OCaml/Camlp4.
Reported error:
---> Building coq with target world Error: Target org.macports.build returned: shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_coq/work/coq-8.1" && make world " returned error 2 Command output: OCAMLOPT lib/compat.ml4 Camlp4: Uncaught exception: DynLoader.Error ("pa_ifdef.cmo", "file not found in path")
Preprocessor error make: * [lib/compat.cmx] Error 2
Error: Status 1 encountered during processing.
Installed packaged:
$ port list installed antlr @2.7.7 lang/antlr apache-ant @1.7.0 devel/apache-ant commons-beanutils @1.7.0 java/commons-beanutils commons-codec @1.3 java/commons-codec commons-collections @3.2 java/commons-collections commons-daemon @1.0.1 java/commons-daemon commons-dbcp @1.2.2 java/commons-dbcp commons-digester @1.8 java/commons-digester commons-el @1.0 java/commons-el commons-fileupload @1.2 java/commons-fileupload commons-httpclient @3.0.1 java/commons-httpclient commons-io @1.3.1 java/commons-io commons-lang @2.3 java/commons-lang commons-launcher @1.1 java/commons-launcher commons-logging @1.1 java/commons-logging commons-modeler @2.0 java/commons-modeler commons-pool @1.3 java/commons-pool commons-validator @1.3.1 java/commons-validator curl @7.16.4 net/curl darcs @1.0.9 devel/darcs dom4j @1.6.1 java/dom4j emacs @22.1 editors/emacs expat @2.0.1 textproc/expat gawk @3.1.5 lang/gawk gettext @0.16.1 devel/gettext ghc @6.6.1 lang/ghc ghostscript @8.60 print/ghostscript gmp @4.2.1 devel/gmp gsed @4.1.5 textproc/gsed jakarta-bcel @5.1 java/jakarta-bcel jakarta-log4j @1.2.14 java/jakarta-log4j jakarta-oro @2.0.8 java/jakarta-oro jakarta-regexp @1.4 java/jakarta-regexp jakarta-taglibs-standard-11 @1.1.2 java/jakarta-taglibs-standard-11 jaxen @1.1-beta-9 java/jaxen jdom @1.0 java/jdom junit @3.8.1 java/junit libiconv @1.11 textproc/libiconv mx4j @3.0.1 java/mx4j ncurses @5.6 devel/ncurses ncursesw @5.6 devel/ncursesw nxml-mode @20041004 editors/nxml-mode ocaml @3.10.0 lang/ocaml perl5.8 @5.8.8 lang/perl5.8 pkgconfig @0.22 devel/pkgconfig readline @5.2.001 devel/readline saxpath @1.0 java/saxpath servlet23-api @1 java/servlet23-api servlet24-api @5.0.28 java/servlet24-api teTeX @3.0 print/teTeX texi2html @1.76 textproc/texi2html texinfo @4.9 textproc/texinfo xalanj @2.7.0 java/xalanj xercesj @2.9.0 java/xercesj xom @1.0 java/xom zlib @1.2.3 archivers/zlib
Change History (3)
comment:1 Changed 17 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | robdockins@… reilles@… added |
|---|---|
| Milestone: | → Port Bugs |
comment:2 Changed 17 years ago by milosh@…
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Resolved in r30978