mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 21:23:06 +00:00
20 lines
761 B
Diff
20 lines
761 B
Diff
diff --git a/src/sage/libs/gap/util.pyx b/src/sage/libs/gap/util.pyx
|
|
index bdde6aa60f..50459534f8 100644
|
|
--- a/src/sage/libs/gap/util.pyx
|
|
+++ b/src/sage/libs/gap/util.pyx
|
|
@@ -165,14 +165,6 @@ def gap_root():
|
|
sage: from sage.libs.gap.util import gap_root
|
|
sage: gap_root() # random output
|
|
'/home/vbraun/opt/sage-5.3.rc0/local/gap/latest'
|
|
-
|
|
- If GAP_ROOT_DIR is undefined or pointing to the wrong location,
|
|
- fall back code should be used to determine gapdir::
|
|
-
|
|
- sage: import os
|
|
- sage: os.system("GAP_ROOT_DIR=/not_a_path sage -c \"sage.libs.gap.util.gap_root()\"")
|
|
- The gap-4.5.5.spkg (or later) seems to be not installed!
|
|
- ...
|
|
"""
|
|
import os.path
|
|
if os.path.exists(GAP_ROOT_DIR):
|