| changeset 52653 | 0589394aaaa5 |
| parent 52637 | 1501ebe39711 |
| parent 52652 | ebdbd5c79a13 |
| child 52654 | 06653152ea8b |
| 52637:1501ebe39711 | 52653:0589394aaaa5 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Lukas Bulwahn, TU Muenchen, 2010 |
|
4 # |
|
5 # Determine SWI-Prolog version |
|
6 |
|
7 if [ "$ISABELLE_SWIPL" != "" ]; then |
|
8 VERSION="$("$ISABELLE_SWIPL" --version)" |
|
9 REGEXP='^SWI-Prolog version ([0-9\.]*) for .*$' |
|
10 if [[ "$VERSION" =~ $REGEXP ]]; then |
|
11 echo -n "${BASH_REMATCH[1]}" |
|
12 else |
|
13 echo -n undefined |
|
14 fi |
|
15 fi |