diff options
| author | Antonio Rojas | 2018-11-25 23:38:38 +0000 |
|---|---|---|
| committer | Antonio Rojas | 2018-11-25 23:38:38 +0000 |
| commit | 5441fc9cac784911ceb02e4227fce218d63d9814 (patch) | |
| tree | 527851dabcb08ae513e49396971b8c7885c4cea0 /sagemath-gap-4.8.patch | |
| parent | d423d95f740e3507efa6e9ca97452958ce729c51 (diff) | |
| download | aur-5441fc9cac784911ceb02e4227fce218d63d9814.tar.gz | |
Drop merged patch
Diffstat (limited to 'sagemath-gap-4.8.patch')
| -rw-r--r-- | sagemath-gap-4.8.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sagemath-gap-4.8.patch b/sagemath-gap-4.8.patch index 6d0922457f8c..64d6b28ea38b 100644 --- a/sagemath-gap-4.8.patch +++ b/sagemath-gap-4.8.patch @@ -21,6 +21,6 @@ index 7bffcfc00d..51dad178d5 100644 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 = next(dir for dir in gap_sh if dir.strip().startswith('GAP_DIR')) gapdir = gapdir.split('"')[1] gapdir = gapdir.replace('$SAGE_LOCAL', SAGE_LOCAL) |