Hi Ralf,
Looks like the problem is that target "${INPUT_EXTRA_INPUT}"
is not run before target "${HTEX_VIEWPORTS_STAMP}".
I missed this bug during testing because this happens with
"make -j1 book", not "make -j8 book".
Do you agree that following patch fix this?
- Qian
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index be40c60c..215dfa32 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -666,7 +666,7 @@
tmp/vp-knot3.input: knot3.input ${INPUT_EXTRA_INPUT}
cp $< $@
-${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input
+${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input ${INPUT_EXTRA_INPUT}
unset DAASE; FRICAS=${FRICAS}; export FRICAS; \
echo ")read $<" | FRICAS_INITFILE='' ${XVFB} \
${FRICAS}/bin/fricas -noht -noclef > /dev/null
On 6/30/24 20:17, Ralf Hemmecke wrote:
Hi Andrey,
I assume you do "make clean book" in the build directory and you are not
building in the source directory.
Anyway, can you do the following
cd FRICASBUILDDIR
cd src/doc
rm -rf tmp/ribbon* stamp-ug* vp-*
make book | tee make-book.log
Please make this log available to us.
I guesss you are building on Windows? Under WSL2 or how exactly?
Thanks
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/cca4e87f-6d58-4752-9cdf-e2c2084c2487%40gmail.com.
