Re: [eclipse-clp-users] ECLiPSe 7.0#49 compilation errors on macOS

From: Paulo Moura <pmoura_at_...342...>
Date: Wed, 18 Sep 2019 12:03:03 +0100
Hi,

> On 18 Sep 2019, at 11:39, Joachim Schimpf <jschimpf_at_...311...> wrote:
> 
> On 18/09/2019 10:21, Paulo Moura wrote:
>> Hi,
>> I'm trying to compile ECLiPSe 7.0#49 on macOS. GMP 6.1.2 is found during the configure phase. But during make I get the following errors:
>> 23:23 $ make -f Makefile.$ECLIPSEARCH
>> ======== make_shm ========
>> gcc -m64  -mmacosx-version-min=10.5   -D_REENTRANT -fPIC -fno-strict-overflow -Wno-logical-op-parentheses -Wno-bitwise-op-parentheses -Wno-pointer-sign -O2 -fomit-frame-pointer -I.  -c -o alloc.o ../src/alloc.c
>> In file included from ../src/alloc.c:53:
>> ../src/memman.h:50:2: error: "No code for dealing with sizeof(int) != 4"
>> #error "No code for dealing with sizeof(int) != 4"
>>  ^
> 
> 
> Hi Paulo,
> 
> I have not seen this problem before.  The message indicates that you are using a C compiler (or compiler option) that makes sizeof(int) != 4, which would be extremely unusual.
> 
> Maybe it is just a problem during configure: when you run ./configure, does it output
> 
>    checking size of int... 4
> 
> or something different?

Something is definitely wrong as configure reports:

checking size of int... 0
checking size of long... 0
checking size of char *... 0
checking size of long *... 0

I'm using:

$ gcc -v
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk/usr/include/c++/4.2.1
Apple LLVM version 10.0.1 (clang-1001.0.46.4)
Target: x86_64-apple-darwin18.7.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

Is there other information that I can provide that helps debug this issue?

Thanks,
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer
Received on Wed Sep 18 2019 - 11:40:24 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET