Add main.py, with management of jupyter pid files, and adjust paths.

3-manifolds · Feb 2, 2022 · 8321483 · 8321483
1 parent 872f0bc
commit 8321483
Show file tree

Hide file tree

Showing 3 changed files with 383 additions and 2 deletions.
diff --git a/Sage_framework/build_big_sage.sh b/Sage_framework/build_big_sage.sh
@@ -59,6 +59,7 @@ CONFIG_OPTIONS="--with-system-python3=no \
 --enable-tdlib \
 --enable-tides"
 if [ "$1" != "noconfig" ]; then
+    make configure
     ./configure $CONFIG_OPTIONS > /tmp/configure.out
 fi
 make build

diff --git a/Sage_framework/files/sage-env-config b/Sage_framework/files/sage-env-config
@@ -28,10 +28,10 @@ export SAGE_ENV_CONFIG_SOURCED=1
 
 # SAGE_LOCAL is the installation prefix and can be customized by using
 # ./configure --prefix
-export SAGE_LOCAL="/var/tmp/sage-__VERSION__-current/local"
+export SAGE_LOCAL="/var/tmp/sage-9.5-current/local"
 
 # SAGE_ROOT is the location of the Sage source/build tree.
-export SAGE_ROOT="/var/tmp/sage-__VERSION__-current/local"
+export SAGE_ROOT="/var/tmp/sage-9.5-current"
 
 #######################################
 # Compilers set at configuration time.