blob: f0236fdb7e9e1608283f5785c98f4aee9f21ac75 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
--- 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
|
