FAILED: man/lib/dcgbasics.tex man/lib/summaries.d/dcgbasics.tex /home/oper/Programs/swipl-devel/build/man/lib/dcgbasics.tex /home/oper/Programs/swipl-devel/build/man/lib/summaries.d/dcgbasics.tex
cd /home/oper/Programs/swipl-devel/build/man && /home/oper/Programs/swipl-devel/build/src/swipl -f none --no-packs -x /home/oper/Programs/swipl-devel/build/man/pldoc2tex -- --source=/home/oper/Programs/swipl-devel/man --out=lib/dcgbasics.tex --summaries "library(dcg/basics)"
ERROR: /home/oper/Programs/swipl-devel/man/pldoc2tex.pl:48: pltotex:main pldoc_latex:process_items/6: Unknown procedure: pldoc_latex:is_pi/1
[14/230] Generating lib/clpblib.tex
FAILED: man/lib/clpblib.tex man/lib/summaries.d/clpblib.tex /home/oper/Programs/swipl-devel/build/man/lib/clpblib.tex /home/oper/Programs/swipl-devel/build/man/lib/summaries.d/clpblib.tex
cd /home/oper/Programs/swipl-devel/build/man && /home/oper/Programs/swipl-devel/build/src/swipl -f none --no-packs -x /home/oper/Programs/swipl-devel/build/man/pldoc2tex -- --source=/home/oper/Programs/swipl-devel/man --out=lib/clpblib.tex --lib=clpb --module=clpb --summaries lib/clpblib.md
ERROR: /home/oper/Programs/swipl-devel/man/pldoc2tex.pl:48: pltotex:main pldoc_latex:process_items/6: Unknown procedure: pldoc_latex:is_pi/1
[15/230] Generating lib/clpfdlib.tex
FAILED: man/lib/clpfdlib.tex man/lib/summaries.d/clpfdlib.tex /home/oper/Programs/swipl-devel/build/man/lib/clpfdlib.tex /home/oper/Programs/swipl-devel/build/man/lib/summaries.d/clpfdlib.tex
cd /home/oper/Programs/swipl-devel/build/man && /home/oper/Programs/swipl-devel/build/src/swipl -f none --no-packs -x /home/oper/Programs/swipl-devel/build/man/pldoc2tex -- --source=/home/oper/Programs/swipl-devel/man --out=lib/clpfdlib.tex --lib=clpfd --module=clpfd --summaries lib/clpfdlib.md
ERROR: /home/oper/Programs/swipl-devel/man/pldoc2tex.pl:48: pltotex:main pldoc_latex:process_items/6: Unknown procedure: pldoc_latex:is_pi/1
ninja: build stopped: subcommand failed.
Rather weird. is_pi/1 is imported from pldoc(doc_html)
. Doesn’t look like something OS related. More like sources not being clean, some mixup with earlier versions due to environment variables (although the once we know may interfere are checked and issue a warning during cmake
). Some earlier warning from cmake or the build process may also be a reason.
Yeah, the first failure in the compilation logs will explain.
@heiheshang, thanks for marking it as resolved. Could you describe which of the various possibilities I sketched was the solution? Maybe something can/should be added to the build or configure process to fail earlier with a clearer message.
I synchronized two computers and build artifacts remained
1 Like