blob: 7bffa83f40e8d1bb3cff8832a5c34b139975beb0 (
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
27
28
29
30
|
--- XSB.orig/build/xsb.in 2005-01-15 07:30:43.000000000 +1300
+++ XSB/build/xsb.in 2007-01-28 22:08:36.000000000 +1300
@@ -72,9 +72,9 @@
scriptdir=`dirname $thisfile`
topdir=`dirname $scriptdir`
-config=`$topdir/build/config.guess`
-canonical=`$topdir/build/config.sub $config`
-exec_dir=$topdir/config/${canonical}${suffix}
+#config=`$topdir/build/config.guess`
+#canonical=`$topdir/build/config.sub $config`
+exec_dir=$topdir/config/@full_config_name@
executable=${exec_dir}/bin/xsb
# The purpose of this complex thing is to make sure that arguments
@@ -101,12 +101,12 @@
echo " file doesn't exist or is not executable"
echo ""
echo "XSB might not have have been compiled for the following machine configuration:"
- echo " " ${canonical}${suffix}
+ echo " " @full_config_name@
echo "***This installation seems to have the following configurations available:"
# First drop files that don't have "-".
# Then drop the configuration that we just said doesn't exist.
ls -1 $topdir/config | egrep "-" \
- | egrep -v "^${canonical}${suffix}\$" 2> /dev/null
+ | egrep -v "^@full_config_name@\$" 2> /dev/null
echo "***configuration list end"
echo ""
echo "One other frequent problem: you might be over your disk quota,"
|
GitWeb
