Hi Waldek,

I looked a bit deeper into this issue of compilation with --with-x=no.

The problem seems to be that I did not consider that case when I reenabled the building of the book. In fact, the .help files should in my opinion, be singled out of the doc-building process, because they are pretty independent. In fact, the only reason why they are built through the src/doc directory is, because the sources are in src/doc/htex/ug16.htex and the awk script and Makefile stanzas live under src/doc. Eventually they go to target/x86_64-linux-gnu/share/spadhelp.

In my opinion it would make sense to create a new directory "src/spadhelp" and put there syscmd.awk and the Makefile:

===== src/spadhelp/Makefile ================
srcdir       = ${fricas_src_srcdir}/doc
htexsrcdir   = ${srcdir}/htex
helptargetdir = $(fricas_target_datadir)/spadhelp
UGSYSCMD2HELP = ${AWK} -f ${srcdir}/syscmd.awk

###################################################################
# Generate the .help file.
###################################################################
# ug16.htex contains documentation about system commands
stamp-ug16helpfiles:
        ${UGSYSCMD2HELP} ${htexsrcdir}/ug16.htex
        ${STAMP} $@

###################################################################
# The following targets only copy generated files to the target
# directory.
###################################################################
copy-helpfiles: stamp-ug16helpfiles
        ${MKDIR_P} ${helptargetdir}
        cp *.help ${helptargetdir}
==================================

That would then be built unconditionally and my previous changes for the generation of the .help files would be undone.

I am a bit hesitant to introduce a new src directory with only the build scripts but no content (because that would still live under src/doc/htex/ug16.htex). That is why I ask for you opinion.

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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/c62870da-3f2f-89c0-b32e-6082dfb7bf7a%40hemmecke.org.

Reply via email to