On Sun, Feb 26, 2023 at 09:40:42PM +0100, Ralf Hemmecke wrote:
> 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"
I have doubts about such split. Rather, I think that we should have
more fine grained control in Makefiles. In principle documentation
build should be independent of X. For example, in principle TeX version
of FriCAS Book should build without X. And one can imagine other formats
that should work without X. It is just current limitation that we need
X. And I dislike idea that we should re-organize source tree when/if
improved documentation build is possible. It makes sense to have
per-format build/target directories, but sources should have logical
organization independent of the format.
IMO right way is to always recurse to documentation subdirectory,
but configure hould pass info about X availability to documentation
Makefile. In documentation Makefile we can use conditionals to
enable only targets buildable without X. We already have logic
for pages depending on graphic (connection to X server). Such
logic should be more general.
--
Waldek Hebisch
--
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/20230227225221.s57b37h5r727emem%40fricas.math.uni.wroc.pl.
