On 01/05/2012, at 03:59, Kish Shen wrote: > Hi Paulo, > > Are you compiling ECLiPSe with bignum support (you need GNU GMP or MPIR for bignums)? No. > If you are not, I think this is the root cause of your problem, but I don't quite understand why you are getting an integer overflow error with -2^31, particularly on a 64 bit platform. The version of gmp that I have installed (via MacPorts) is: $ port installed gmp The following ports are currently installed: gmp _at_5.0.4_0 (active) But configure is not finding it (it's installed under the /opt/local prefix). > I have not compiled ECLiPSe with MacOS X 10.7 -- I have 10.6 on my machine, and I don't think I have compiled ECLiPSe on the Mac without bignum support. Have you ever compiled from source on 10.6, and have you seen this problem there? No. This is the first time that I'm trying to compile ECLiPe from sources. > Are you compiling ECLiPSe 6.1? Yes. Version 6.1.111. Cheers, Paulo > On 30/04/2012 17:33, Paulo Moura wrote: >> >> Hi, >> >> I get a compiler error building ECLiPSe 6.111 from sources on MacOS X 10.7 (64 bits): >> >> $ export ARCH=x86_64_macosx >> $ export ECLIPSETHIRDPARTY=/opt/local >> $ ./configure >> ... >> $ make -f Makefile.$ARCH >> ... >> /bin/cp ../lib/suspend.pl ../../lib/suspend.pl >> ./sepia -D .. -e "compile(\"../lib/constraint_pools.ecl\",\ >> [debug:off,srcroot:\"../..\",outdir:\"../../lib\",output:eco])" >> integer overflow in ^(-2, 31, _148863) >> abort >> make[1]: *** [../../lib/constraint_pools.eco] Error 2 >> make[1]: *** Deleting file `../../lib/constraint_pools.eco' >> make: *** [make_kernel] Error 2 >> >> Any hints on how to solve the issue are most appreciated. >> >> Cheers, >> >> Paulo ----------------------------------------------------------------- Paulo Jorge Lopes de Moura, PhD Assistant Professor Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 3.18 Ext. 3276 Phone: +351 275 242081 Fax: +351 275 319899 Email: <mailto:pmoura_at_...16...> Home page: <http://www.di.ubi.pt/~pmoura> Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/> -----------------------------------------------------------------Received on Tue May 01 2012 - 10:47:48 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST