Re: [eclipse-clp-users] Compiler error building ECLiPSe 6.111 from sources on MacOS X 10.7 (64 bits)

From: Paulo Moura <pmoura_at_di.ubi.pt>
Date: Tue, 1 May 2012 11:47:29 +0100
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 @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_di.ubi.pt>

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.2.0 : Sun May 06 2012 - 06:14:04 CEST