| author | blanchet |
| Wed, 15 Dec 2010 18:10:32 +0100 | |
| changeset 41171 | 043f8dc3b51f |
| parent 40243 | 3102b27ca03a |
| child 41308 | 9e576ec5c0dc |
| permissions | -rwxr-xr-x |
|
40243
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
2 |
# |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
3 |
# Author: Lukas Bulwahn, TU Muenchen, 2010 |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
4 |
# |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
5 |
# Determine SWI-Prolog version |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
6 |
|
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
7 |
if [ "$EXEC_SWIPL" = "" ]; then |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
8 |
echo "" |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
9 |
else |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
10 |
VERSION=`$EXEC_SWIPL --version` |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
11 |
echo `expr match "$VERSION" 'SWI-Prolog version \([0-9\.]*\)'` |
|
3102b27ca03a
adding a simple check to only run with a SWI-Prolog version known to work
bulwahn
parents:
diff
changeset
|
12 |
fi |