blob: 6d0922457f8cad5e28c4251343b229bd0fef189d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
diff --git a/src/sage/interfaces/gap.py b/src/sage/interfaces/gap.py
index 177fc1b6eb..51c67bdd09 100644
--- a/src/sage/interfaces/gap.py
+++ b/src/sage/interfaces/gap.py
@@ -202,7 +202,7 @@ import string
first_try = True
-gap_cmd = "gap -r"
+gap_cmd = "gap-4.8 -r"
if platform.processor() == 'ia64' and os.path.exists('/usr/bin/prctl'):
# suppress unaligned access to 0x..., ip=0x... warnings
gap_cmd = 'prctl --unaligned=silent ' + gap_cmd
diff --git a/src/sage/libs/gap/util.pyx b/src/sage/libs/gap/util.pyx
index 7bffcfc00d..51dad178d5 100644
--- a/src/sage/libs/gap/util.pyx
+++ b/src/sage/libs/gap/util.pyx
@@ -170,7 +170,7 @@ def gap_root():
if os.path.exists(GAP_ROOT_DIR):
return GAP_ROOT_DIR
print('The gap-4.5.5.spkg (or later) seems to be not installed!')
- gap_sh = open(os.path.join(SAGE_LOCAL, 'bin', 'gap')).read().splitlines()
+ gap_sh = open(os.path.join(SAGE_LOCAL, 'bin', 'gap-4.8')).read().splitlines()
gapdir = filter(lambda dir:dir.strip().startswith('GAP_DIR'), gap_sh)[0]
gapdir = gapdir.split('"')[1]
gapdir = gapdir.replace('$SAGE_LOCAL', SAGE_LOCAL)
|