[MacPorts] #21110: lang/camlp5 v5.12 build error
#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
#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: camlp5 ---------------------------------+------------------------------------------ Changes (by ryandesign@…): * port: => camlp5 Comment: I think we need to see the debug output to help with this. Normally MacPorts only shows the last 30 lines of error, and it looks like there was more output than that here. Can you clean the port and try again with the debug switch? {{{ sudo port clean camlp5 sudo port -d install camlp5 2>&1 | tee ~/Desktop/camlp5.txt bzip2 ~/Desktop/camlp5.txt }}} Then attach camlp5.txt.bz2 from your desktop to this ticket. -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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: camlp5 ---------------------------------+------------------------------------------ Comment(by bathizte@…): Thanks for your quick answer. The portfile shows the make target is world.opt. And I found a similar error message {{{ ocamlc.opt -warn-error A -c -intf stdpp.ppi File "stdpp.ppi", line 8, characters 16-22: Error: Unbound type constructor Ploc.t }}} In the frugalware community list : [http://frugalware.org/pipermail/frugalware- devel/2009-January/006144.html] -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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: camlp5 ---------------------------------+------------------------------------------ Comment(by kiyoshi.coquser@…): Camlp5 fails to build if parallel builds are enabled. Adding "use_parallel_build no" in Portfile will resolve this problem. -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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: camlp5 ---------------------------------+------------------------------------------ Comment(by benjovi@…): Replying to [comment:3 kiyoshi.coquser@…]:
Camlp5 fails to build if parallel builds are enabled. Adding "use_parallel_build no" in Portfile will resolve this problem. Thanks for the help, adding the above to the camlp5 Portfile resolved the problem for me.
-- Ticket URL: <http://trac.macports.org/ticket/21110#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21110: lang/camlp5 v5.12 build error ---------------------------------+------------------------------------------ Reporter: bathizte@… | Owner: macsforever2000@… Type: defect | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: | Port: camlp5 ---------------------------------+------------------------------------------ Changes (by macsforever2000@…): * owner: macports-tickets@… => macsforever2000@… * status: new => assigned -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21110: lang/camlp5 v5.12 build error ----------------------------------+----------------------------------------- Reporter: bathizte@… | Owner: macsforever2000@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Resolution: fixed | Keywords: Port: camlp5 | ----------------------------------+----------------------------------------- Changes (by macsforever2000@…): * status: assigned => closed * resolution: => fixed Comment: Added in r57526. Thanks for figuring that out. -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21110: lang/camlp5 v5.12 build error ----------------------------------+----------------------------------------- Reporter: bathizte@… | Owner: macsforever2000@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Resolution: fixed | Keywords: Port: camlp5 | ----------------------------------+----------------------------------------- Comment(by bathizte@…): I confirm it is now building after a sync, thanks a lot kiyoshi. -- Ticket URL: <http://trac.macports.org/ticket/21110#comment:7> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts