Opened 17 years ago

Closed 16 years ago

Last modified 11 years ago

#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 16 years ago by milosh@…

Resolution: fixed
Status: newclosed

Resolved in r30978

comment:3 Changed 15 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.