On Mon, Jun 21, 2021 at 03:36:39PM +0200, Waldek Hebisch wrote:
> ATM we have one blocking problem: after change to 'fricas'
> script internal 'fricas' script and consequently 'efricas'
> no longer works. Since tere was no better solution
> proposed in more than a month, I think we should
> revert this change.
> --
> Waldek Hebisch
More precisely, I mean the attached patch
--
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/20210621160842.GA22867%40math.uni.wroc.pl.
diff --git a/Makefile.in b/Makefile.in
index 0713c0bc..8df524cc 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -132,12 +132,9 @@ install-src:
echo '#!/bin/sh -' > '${COMMAND}'.tmp
echo exec_prefix='"$${FRICAS_PREFIX:-$(exec_prefix)}"' \
>> '${COMMAND}'.tmp
- if test "$(fricas_lib)" != "$(libdir)" ; then \
- if test $(uname -s) != "Darwin" ; then \
- echo FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' >> '${COMMAND}'.tmp ; \
- else \
- echo FRICAS='"`dirname $$0`/../$(fricas_lib)/fricas/target/$(target)"' >> '${COMMAND}'.tmp ; \
- fi \
+ if test "$(fricas_lib)" != "$(libdir)" ; then echo \
+ FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' \
+ >> '${COMMAND}'.tmp ; \
else \
echo FRICAS='"$(libdir)/fricas/target/$(target)"' \
>> '${COMMAND}'.tmp ; \
