aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorFumitoshi UKAI <ukai@debian.or.jp>2001-12-20 03:39:32 +0000
committerFumitoshi UKAI <ukai@debian.or.jp>2001-12-20 03:39:32 +0000
commitf3812c81423ac23e168092dee76c809977dd5e31 (patch)
tree813db7d30beb0b3d2d866949627da65563f64b33 /configure
parentw3m 0.2.3 rc1 (diff)
downloadw3m-f3812c81423ac23e168092dee76c809977dd5e31.tar.gz
w3m-f3812c81423ac23e168092dee76c809977dd5e31.zip
w3m 0.2.3 rc2
[w3m-dev 02678] From: Hironori Sakamoto <hsaka@mth.biglobe.ne.jp>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure29
1 files changed, 21 insertions, 8 deletions
diff --git a/configure b/configure
index c2a01cb..72c199a 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
#!/bin/sh
-# $Id: configure,v 1.38 2001/12/20 00:44:00 ukai Exp $
+# $Id: configure,v 1.39 2001/12/20 03:39:32 ukai Exp $
# Configuration.
#
@@ -138,12 +138,6 @@ do
shift
done
-# Version number of Boehm-GC library comes with w3m.
-# version number: JMMAAA J: major MM: minor AAA: alpha
-# Alpha number of non-alpha version is 255.
-# version 4.14alpha1 => 414002
-mygcversion=600255
-
if [ -z "`echo -n aho | grep n`" ] ; then
Echo()
{
@@ -992,6 +986,19 @@ esac
if [ -n "$gclib" -a -n "$gcinclude" ]; then
Echo GC library found on your system...
cat > _zmachdep.c << EOF
+#include "gc/version.h"
+main()
+{
+ printf("%d%02d%03d\n",(GC_version>>16)&0xff,(GC_version>>8)&0xff,GC_version&0xff);
+}
+EOF
+ if $cc $cflags -o _zmachdep _zmachdep.c > /dev/null 2>&1
+ then
+ mygcversion=`./_zmachdep`
+ else
+ mygcversion=0
+ fi
+ cat > _zmachdep.c << EOF
#include <gc.h>
main()
{
@@ -1014,15 +1021,21 @@ EOF
cflags="$cflags -I./gc/include"
gclib="gc/gc.a"
gctarget=$gclib
+ echo "GC_version is $mygcversion."
fi
else
cflags="$cflags -I$gcinclude"
fi
- else
+ elif [ $mygcversion -gt 0 ]; then
echo "but it doesn't seem to work."
cflags="$cflags -I./gc/include"
gclib="gc/gc.a"
gctarget=$gclib
+ echo "GC_version is $mygcversion."
+ else
+ echo "It seems you don't have GC library."
+ echo "Stop."
+ exit 1
fi
fi