11 lines
322 B
Plaintext
11 lines
322 B
Plaintext
--- src/maxima.in.orig 2020-05-02 19:21:19 UTC
|
|
+++ src/maxima.in
|
|
@@ -165,6 +165,7 @@ if [ -d "$MAXIMA_INITIAL_FOLDER" ]; then
|
|
fi
|
|
|
|
maxima_image_base="$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima"
|
|
+maxima_image_base_core="$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima_core"
|
|
|
|
if [ "$verbose" = "true" ]; then
|
|
set -x
|