fe68ba81d2
This "un-breaks" sage while also updating it to 8.0. It compiles sage with its dependencies as one big pile, which is not the best approach but definately better than nothing for now. To be able to shrink the huge output pile a little, it also splits docs from the rest of the output.
12 lines
491 B
Diff
12 lines
491 B
Diff
--- old/build/pkgs/singular/spkg-install 2017-10-15 10:35:41.826540964 -0500
|
|
+++ new/build/pkgs/singular/spkg-install 2017-10-15 10:36:40.613743443 -0500
|
|
@@ -4,6 +4,9 @@
|
|
## Singular
|
|
###########################################
|
|
|
|
+find . -type f -exec sed -e 's@/bin/rm@rm@g' -i '{}' ';'
|
|
+#echo '#!/usr/bin/env bash\nIgnoring missing $1' > src/build-aux/missing
|
|
+
|
|
if [ -z "$SAGE_LOCAL" ]; then
|
|
echo >&2 "Error: SAGE_LOCAL undefined -- exiting..."
|
|
echo >&2 "Maybe run 'sage -sh'?"
|