blob: bf9a3250e661949504c87352ca565b3cfde5a070 (
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
31
32
33
34
35
36
37
|
--- XSB.orig/build/xsb.in 2005-01-15 07:30:43.000000000 +1300
+++ XSB/build/xsb.in 2007-01-29 20:53:13.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
@@ -95,18 +95,18 @@
fi
if test -x "$executable" ; then
- eval "exec @CROSS_SIMULATOR@ $executable $xsb_cmd"
+ LD_LIBRARY_PATH=${exec_dir}/lib eval "exec @CROSS_SIMULATOR@ $executable $xsb_cmd"
else
echo "${executable}: "
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
