#21110: lang/camlp5 v5.12 build error ---------------------------------+------------------------------------------ Reporter: bathizte@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: | Port: ---------------------------------+------------------------------------------ I was trying to install coq, and it depends on camlp5. When trying to build camlp5 I have the following error : {{{ 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_camlp5/work/camlp5-5.12" && /usr/bin/make -j2 world.opt " returned error 2 Command output: cp: plexing.cmo: No such file or directory cp: plexer.cmo: No such file or directory cp: fstream.cmo: No such file or directory cp: gramext.cmo: No such file or directory cp: grammar.cmo: No such file or directory cp: diff.cmo: No such file or directory cp: extfold.cmo: No such file or directory cp: extfun.cmo: No such file or directory cp: pretty.cmo: No such file or directory cp: pprintf.cmo: No such file or directory cp: eprinter.cmo: No such file or directory cp: stdpp.cmo: No such file or directory cp: token.cmo: No such file or directory cp: plexing.cmi: No such file or directory cp: plexer.cmi: No such file or directory cp: gramext.cmi: No such file or directory cp: grammar.cmi: No such file or directory cp: extfold.cmi: No such file or directory cp: eprinter.cmi: No such file or directory cp: token.cmi: No such file or directory make[3]: *** [promote] Error 1 make[2]: *** [library_cold] Error 2 make[2]: *** Waiting for unfinished jobs.... rm -f odyl.ppo ocamlc.opt dynlink.cma odyl_config.cmo odyl_main.cmo -a -o odyl.cma ocamlc.opt odyl.cma odyl.cmo -o odyl make[3]: *** No rule to make target `../../boot/ploc.cmo', needed by `camlp5.cma'. Stop. make[2]: *** [compile_cold] Error 2 make[1]: *** [boot/camlp5] Error 2 make: *** [world.opt] Error 2 Error: Status 1 encountered during processing. }}} -- Ticket URL: <http://trac.macports.org/ticket/21110> MacPorts <http://www.macports.org/> Ports system for Mac OS