[a88b18]: maxima-local.in Maximize Restore History

Download this file

maxima-local.in    12 lines (10 with data), 303 Bytes

#!/bin/sh
top_srcdir=`(cd \`dirname $0\` > /dev/null 2>&1 ; pwd)`
MAXIMA_PREFIX=$top_srcdir
export MAXIMA_PREFIX
MAXIMA_LAYOUT_AUTOTOOLS=false
export MAXIMA_LAYOUT_AUTOTOOLS
MAXIMA_OBJDIR="$top_srcdir/binary"
export MAXIMA_OBJDIR

POSIX_SHELL=@POSIX_SHELL@
exec $POSIX_SHELL $top_srcdir/src/maxima "$@"