Hello,

I wanted to report that after applying the attached patch to the
configure script, I succeeded in compiling GCL from current CVS on an
x86_64 machine running Ubuntu 12.04.

Following additional steps were needed:

### Install gmp4
export CFLAGS=-I/path/to/gmp4/include/dir/
./configure --enable-dlopen --enable-ansi --enable-pic \
   --disable-statsysbfd 
make

A superficial test indicates that I obtain a working GCL in this way.

Regards,

      Mario

P.S: Note that the attached patch fixes the determination of the "heap
ceiling" only superficially. This number does not seem to be fixed
nowadays. Each time I run

/bin/cat /proc/self/maps | grep "/lib/.*ld" | cut -f1 -d- | head -1

it prints a different number.


Index: configure
===================================================================
RCS file: /sources/gcl/gcl/configure,v
retrieving revision 1.299
diff -u -r1.299 configure
--- configure   7 May 2010 18:57:18 -0000       1.299
+++ configure   21 Jan 2013 22:10:03 -0000
@@ -8120,7 +8120,7 @@
    heap_ceiling=0x0
 else
 if test -d /proc/self ; then
-   heap_ceiling=0x`/bin/cat /proc/self/maps | grep "/lib/ld" | cut -f1 -d- | 
head -1`
+   heap_ceiling=0x`/bin/cat /proc/self/maps | grep "/lib.*/ld" | cut -f1 -d- | 
head -1`
 else
 #echo -e "#include <stdio.h>\n int main() {printf(\"foo\");return 0;}" >foo.c
 #$CC foo.c -o foo
_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to