mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-11 18:14:36 +08:00
22 lines
1.1 KiB
Diff
22 lines
1.1 KiB
Diff
--- src/bin/sage.orig 2014-12-18 09:47:27.354829070 +0100
|
|
+++ src/bin/sage 2014-12-18 09:48:00.041563401 +0100
|
|
@@ -286,18 +286,6 @@
|
|
|
|
# Prepare for running Sage, either interactively or non-interactively.
|
|
sage_setup() {
|
|
- # Check that we're not in a source tarball which hasn't been built yet (#13561).
|
|
- if [ ! -d "$SAGE_LOCAL/lib/python/site-packages/sage" ]; then
|
|
- echo >&2 '************************************************************************'
|
|
- echo >&2 'It seems that you are attempting to run Sage from an unpacked source'
|
|
- echo >&2 'tarball, but you have not compiled it yet (or maybe the build has not'
|
|
- echo >&2 'finished). You should run `make` in the Sage root directory first.'
|
|
- echo >&2 'If you did not intend to build Sage from source, you should download'
|
|
- echo >&2 'a binary tarball instead. Read README.txt for more information.'
|
|
- echo >&2 '************************************************************************'
|
|
- exit 1
|
|
- fi
|
|
-
|
|
# Display the startup banner
|
|
if [ "$SAGE_BANNER" != "no" ]; then
|
|
cat "$SAGE_LOCAL/bin/sage-banner"
|