On 6/12/24 20:52, Ralf Hemmecke wrote:
Hi Qian,
why do you need to rewrite the -eval into a pipe?
@@ -502,6 +500,6 @@ ${GEN_VIEWPORTFILES_PHT}: %.pht: %.ht
${INPUT_EXTRA_INPUT} ${SMAN} \
mobius.VIEW: ${inputsrcdir}/mobius.input
(unset DAASE; FRICAS=${FRICAS}; export FRICAS; \
- FRICAS_INITFILE='' ${XVFB} \
- ${FRICAS}/bin/fricas -noht -noclef -eval ')read $<')
+ echo ')read $<' | FRICAS_INITFILE='' ${XVFB} \
+ ${FRICAS}/bin/fricas -noht -noclef)
I'm getting errors (and hang) randomly with "sman together with -eval".
I guess you can reproduce this on your side as well.
There seems to be a issue that the "-eval" happens in different frames,
compare:
fricas -eval "x := 1"
fricas -nosman -eval "x := 1"
And check for value of "x" in REPL.
This might indicate another issue that needs investigation later.
For this workaround, I have to add a new environment "psxtcnooutput"
in htex2input.awk and discard it by "skip-graphics.awk" for normal
spool file generation.
My feeling is that this is not necessary. I even do not quite understand
what the meaning of psxtcnooutput is. If I am not completely wrong then
the commands inside \psXtc are anyway not run.
With current HEAD, commands inside \psXtc are not run.
My patch changes that. But the workaround changes that again,
"skip-graphics.awk" is used to discard commands inside \psXtc to
produce spool files. Then another run without "skip-graphics.awk"
to produce the graphic files.
Qian, I think your Chapter 14 doc-only changes could go in now. I also
have a few docfixes waiting in my stack. I would like to pile some more
while I go through the docs now and then commit in one patch.
Ralf
On second thought, I think the Chapter 14 change should go just before
the pdflatex change. Because the Chapter 14 change makes a mismatch
between text and image, and pdflatex change fix that.
- Qian
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/e4f057cc-adcc-48d7-a9f8-850df890e61c%40gmail.com.
