datadir

0 views
Skip to first unread message

Ralf Hemmecke

unread,
Apr 24, 2023, 5:17:06 AM4/24/23
to aldor-devel
Hello Peter,

you have dropped datadir in de3a839d30b0dcff55bde9fa1cbbad965f302e7c.
However, in

https://github.com/fricas/fricas/blob/master/configure.ac#L853

and

https://github.com/fricas/fricas/blob/master/src/aldor/Makefile3.in

I use it to find the place of libfoam.al.

What would be the best replacement if I only know where the aldor
executable is?

Thank you
Ralf

Peter Broadbery

unread,
Apr 24, 2023, 5:30:48 AM4/24/23
to Ralf Hemmecke, aldor-devel
Looks to be an error on my part - I'll restore it.

Peter

--
You received this message because you are subscribed to the Google Groups "aldor-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to aldor-devel...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/aldor-devel/d14cd965-cbe8-a414-3576-dc0ccf96f1f1%40hemmecke.org.
Reply all
Reply to author
Forward
0 new messages