AFAICS problems with building trunk on Windows are due
to testing in PREGENERATED is an absolute path.
On Windows absolute paths may take strange form
and current test falsy claim that the path is not
absolute. Greg Vanuxem in his patch gave test
which accepts some Windows absolute paths, but
AFAIK not all. It seems that simplest solution
is to completely remove this test. FriCAS
provides default values which should be correct,
so in default case test is mostly redundant.
If user provides wrong value of PREGENERATED
then build will fail. Failing early with clear
error message is a virtue. However failing
due to too crude test is much worse than
late error.
I am currently testing patch that removes those
tests -- assuming it works I will commit it:
--- Makefile.in (wersja 2078)
+++ Makefile.in (kopia robocza)
@@ -33,7 +33,7 @@
elif test ! -d "${PREGENERATED}"; then \
echo "PREGENERATED directory does not exist."; \
exit 1; \
- elif echo "${PREGENERATED}"|grep ^/ >/dev/null; then\
+ else \
if test -d ${PREGENERATED}/target; then \
cp -r ${PREGENERATED}/target/* ${fricas_targetdir}; \
fi && \
@@ -41,9 +41,6 @@
cp -r ${PREGENERATED}/src/* src; \
fi && \
${STAMP} $@; \
- else \
- echo "PREGENERATED must contain an absolute path."; \
- exit 1; \
fi
--- configure.ac (wersja 2078)
+++ configure.ac (kopia robocza)
@@ -143,10 +143,7 @@
[AS_HELP_STRING([--with-pre-generated],
[Specify an absolute path to pre-generated fricas code.])],
# Action if --with-pre-generated is given.
- [AS_IF([echo "$withval"|grep ^/ >/dev/null],
- [],
- [AC_MSG_ERROR([--with-pre-generated must be given an absolute
path.])])
- AS_IF([test -d "$withval"],
+ [AS_IF([test -d "$withval"],
[PREGENERATED=$withval],
[AC_MSG_ERROR([--with-pre-generated directory does not exist.])])],
# Action if --with-pre-generated is not given.
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
