You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Feb 1, 2023. It is now read-only.
# USE_LOCAL_SCRIPTS is a flag that if non-empty will cause
276
299
# this script to try to install the package using local metadata
277
300
# i.e. use upstream tarballs (vs spkgs) and scripts located in build/pkgs/$PKG_BASE
@@ -403,12 +426,12 @@ if [ ! -w "$SAGE_BUILD_DIR" ]; then
403
426
error_msg "Error: no write access to build directory $SAGE_BUILD_DIR"
404
427
exit 1
405
428
fi
406
-
if [ !-d"$SAGE_LOCAL" ];then
429
+
if [ !-d"$SAGE_INST_LOCAL" ];then
407
430
# If you just unpack Sage and run "sage -p <pkg>" then local does not yet exist
408
-
mkdir "$SAGE_LOCAL"
431
+
mkdir "$SAGE_INST_LOCAL"
409
432
fi
410
-
if [ !-w"$SAGE_LOCAL" ];then
411
-
error_msg "Error: no write access to installation directory $SAGE_LOCAL"
433
+
if [ !-w"$SAGE_INST_LOCAL" ];then
434
+
error_msg "Error: no write access to installation directory $SAGE_INST_LOCAL"
412
435
exit 1
413
436
fi
414
437
@@ -502,7 +525,7 @@ export PKG_NAME="$PKG_NAME"
502
525
export PKG_BASE="$PKG_BASE"
503
526
export PKG_VER="$PKG_VER"
504
527
505
-
for lib in "\$SAGE_ROOT/build/bin/sage-dist-helpers" "\$SAGE_SRC/bin/sage-env-config" "\$SAGE_SRC/bin/sage-env" "\$SAGE_ROOT/build/bin/sage-build-env-config"; do
528
+
for lib in "\$SAGE_ROOT/build/bin/sage-dist-helpers" "\$SAGE_SRC/bin/sage-env-config" "\$SAGE_SRC/bin/sage-env" "\$SAGE_ROOT/build/bin/sage-build-env-config" "\$SAGE_ROOT/build/bin/sage-build-env"; do
506
529
source "\$lib"
507
530
if [ \$? -ne 0 ]; then
508
531
echo >&2 "Error: failed to source \$lib"
@@ -511,6 +534,8 @@ for lib in "\$SAGE_ROOT/build/bin/sage-dist-helpers" "\$SAGE_SRC/bin/sage-env-co
511
534
fi
512
535
done
513
536
537
+
export SAGE_INST_LOCAL="$SAGE_INST_LOCAL"
538
+
514
539
sdh_guard
515
540
if [ \$? -ne 0 ]; then
516
541
echo >&2 "Error: sdh_guard not found; Sage environment was not set up properly"
@@ -568,7 +593,7 @@ done
568
593
if [ !-f spkg-install ];then
569
594
echo'#!/usr/bin/env bash'> spkg-install
570
595
if [ -x configure ];then
571
-
echo'./configure --prefix="$SAGE_LOCAL" && make && $SAGE_SUDO make install'>> spkg-install
596
+
echo'./configure --prefix="$SAGE_INST_LOCAL" && make && $SAGE_SUDO make install'>> spkg-install
0 commit comments