Bug: make should not even try to build documentation but does anyway
Using both the nightly and regular 1.7.0 release of arc
, the configure
command I'm supposed to call prints this :
===============================================================================
AltaRica Checker 1.7.0
===============================================================================
Basic informations
OS : linux-gnu
arch : x86_64
prefix : /usr/local
srcdir : .
Compilation tools
CC : gcc
CFLAGS : -g -O2 -pthread
C++ : g++
CXXFLAGS : -g -O2
CPPFLAGS : -I/usr/include -I/usr/include
LDFLAGS : -L/usr/lib -L/usr/lib
LIBS : -lz -lreadline
YACC : bison -y
LEX : flex
Optional libraries
use pthread library : yes
use readline library : yes
Debugging flags
CCL assertions : no
CCL debug memory : no
debugging of DDs : no
AltaRica Studio (build : no)
python >= 2.7 : python 3.11.6
GTK 2 bindings for python : no
graphviz dot >= 2.38 : dot 9.0.0
Test suites (run: yes)
GNU make : make
valgrind : valgrind
valgrind tests : yes
non robust tests : no
aralia-based tests : aralia is missing
Other tools
PHP : php
GIT : git
GIT2CL : none
GAWK : /nix/store/57ysghh4ry69lcgcdl54c8j4v8ql2f3r-zsh-prereqs/bin/gawk
Settings for Glucose solver
source directory : ${top_srcdir}/glucose
library location : ${top_builddir}/glucose
library name : libarcglucose
ARC documentation (build: no)
compilation enabled : no
makeinfo >= 6.1: ${SHELL} /home/kheldae/Documents/proj_persos/altarica/arc-1.7.0/missing makeinfo 7.1
texi2pdf >= 6.1: texi2pdf 7.1
has PHP : yes
Repository infos
repository is present : no
generate repository info : no
generate ChangeLog file : no
Creation of ts2alt script (yes)
Windows installer (build : no)
makensis program :
ARC_HANDBOOK_BUILDDIR :
Content of dist.repinfo
I would assume this means no documentation and only the checker would be compiled, since the result of configure
gives that information. However, make
does... Something unexpected :
Running plantuml with JAVA...
type lookup cache used 431/65536 hits=1584 misses=447
symbol lookup cache used 796/65536 hits=636 misses=796
finished...
cd doc/latex; \
rm -f *.aux *.toc *.idx *.ind *.ilg *.log *.out; \
/home/kheldae/.nix-profile/bin/latex refman.tex; \
/home/kheldae/.nix-profile/bin/makeindex refman.idx; \
/home/kheldae/.nix-profile/bin/latex refman.tex; \
countdown=5; \
while /nix/store/57ysghh4ry69lcgcdl54c8j4v8ql2f3r-zsh-prereqs/bin/egrep 'Rerun (LaTeX|to get cross-references right)' \
refman.log > /dev/null 2>&1 \
&& test $countdown -gt 0; do \
/home/kheldae/.nix-profile/bin/latex refman.tex; \
countdown=`expr $countdown - 1`; \
done; \
/home/kheldae/.nix-profile/bin/dvips -o ../ccl.ps refman.dvi
cd doc/latex; \
rm -f *.aux *.toc *.idx *.ind *.ilg *.log *.out; \
/home/kheldae/.nix-profile/bin/pdflatex refman.tex; \
/home/kheldae/.nix-profile/bin/makeindex refman.idx; \
/home/kheldae/.nix-profile/bin/pdflatex refman.tex; \
countdown=5; \
while /nix/store/57ysghh4ry69lcgcdl54c8j4v8ql2f3r-zsh-prereqs/bin/egrep 'Rerun (LaTeX|to get cross-references right)' \
refman.log > /dev/null 2>&1 \
&& test $countdown -gt 0; do \
/home/kheldae/.nix-profile/bin/pdflatex refman.tex; \
countdown=`expr $countdown - 1`; \
done; \
mv refman.pdf ../ccl.pdf
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
entering extended mode
(./refman.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
! Undefined control sequence.
l.4 \pdfminorversion
=7
?
! Emergency stop.
l.4 \pdfminorversion
=7
No pages of output.
Transcript written on refman.log.
entering extended mode
(./refman.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
! Undefined control sequence.
l.4 \pdfminorversion
=7
? Input index file refman.idx not found.
Usage: makeindex [-ilqrcgLT] [-s sty] [-o ind] [-t log] [-p num] [idx0 idx1 ...]
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
entering extended mode
(./refman.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
! Undefined control sequence.
l.4 \pdfminorversion
=7
?
! Emergency stop.
l.4 \pdfminorversion
=7
No pages of output.
Transcript written on refman.log.
mv: impossible d'évaluer 'refman.pdf': Aucun fichier ou dossier de ce type
make[4]: *** [Makefile:516: doc/ccl.pdf] Error 1
make[4]: *** Attente des tâches non terminées....
Why ? Altarica-studio being not built is logical and I get it, but why the documentation is built and how can I fix that if that comes from my side ?