New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #21110 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

lang/camlp5 v5.12 build error

Reported by: bathizte@… Owned by: macsforever2000@…
Priority: Normal Milestone:
Component: ports Version: 1.8.0
Keywords: Cc:
Port: camlp5

Description

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.

Attachments

camlp5insalldbglog.txt.bz2 (2.8 KB) - added by bathizte@… 4 years ago.

Change History

comment:1 follow-up: ↓ 2 Changed 4 years ago by ryandesign@…

  • Port set to camlp5

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.

Changed 4 years ago by bathizte@…

comment:2 in reply to: ↑ 1 ; follow-up: ↓ 3 Changed 4 years ago 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

comment:3 in reply to: ↑ 2 ; follow-up: ↓ 4 Changed 4 years ago by kiyoshi.coquser@…

Camlp5 fails to build if parallel builds are enabled. Adding "use_parallel_build no" in Portfile will resolve this problem.

comment:4 in reply to: ↑ 3 Changed 4 years ago by benjovi@…

Replying to 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.

comment:5 Changed 4 years ago by macsforever2000@…

  • Status changed from new to assigned
  • Owner changed from macports-tickets@… to macsforever2000@…

comment:6 Changed 4 years ago by macsforever2000@…

  • Status changed from assigned to closed
  • Resolution set to fixed

Added in r57526. Thanks for figuring that out.

comment:7 Changed 4 years ago by bathizte@…

I confirm it is now building after a sync, thanks a lot kiyoshi.

Note: See TracTickets for help on using tickets.