[mercury-users] problems compiling mercury 0.12.2

[Nancy]

Julien Fischer wrote:
> On Tue, 9 May 2006, Nancy wrote:
> 
>> Hi there,
>>
>> I'm stuck ;-( ;-) Just got my new PC (AMD athlon dual core), and am now
>> busy installing the mercury compiler. I've tried a couple of
>> combinations, but at the end there would always be a moment where I get
>> a segmentation fault.
>>
> 
> That attached files show what was happening for version 0.12.2 - is it
> the same for 0.13-beta and/or the main branch?

I had similar seg faults on the 0.13-beta...

>> So I finally retried with version 0.12.2, and these are the steps I did:
>>
>> (given the output of ./configure which suggests to first compile in
>> grade asm_jump.gc, and then recompile the compiler later in the rest of
>> the grades (or hlc.gc it is))
>>
> 
> Mercury 0.12.2 does not work on x86_64 (more specifically the version
> of the Boehm collector with 0.12.2 doesn't work).  This is fixed in
> later versions.

ok

> 
>> step 1: (no problem)
>>
>> cd mercury-compiler-0.12.2/
>> ./configure --prefix=/usr/local/mercury/0.12.2/
>> --enable-libgrades="asm_jump.gc"
>> make
>> make install
>>
>> step 2:
>>
>> ./configure --prefix=/usr/local/mercury/0.12.2.full
>> make
>> make install &> OUTPUT.INSTALL_ALL
>>
>> In attach, the file OUTPUT.INSTALL_ALL, and term_size_prof_builtin.err
>> which describes the seg fault.
>>
>> Moreover:
>>
>> $ gcc -v
>> Reading specs from /usr/lib/gcc/x86_64-linux-gnu/3.4.6/specs
>> Configured with: ../src/configure -v --enable-languages=c,c++,f77,pascal
>> --prefix=/usr --libexecdir=/usr/lib
>> --with-gxx-include-dir=/usr/include/c++/3.4 --enable-shared
>> --with-system-zlib --enable-nls --without-included-gettext
>> --program-suffix=-3.4 --enable-__cxa_atexit --enable-clocale=gnu
>> --enable-libstdcxx-debug x86_64-linux-gnu
>> Thread model: posix
>> gcc version 3.4.6 (Ubuntu 3.4.6-1ubuntu2)
>>
>> and
>>
>> $ uname -a
>> Linux mara 2.6.15-21-amd64-generic #1 SMP PREEMPT Fri Apr 21 16:42:20
>> UTC 2006 x86_64 GNU/Linux
>>
>> Anybody any ideas here?
>>
> 
> Which version of libc are you using?

2.3.6 if I'm right...

> I've uploaded a binary package for x86_64/Linux to the following:
> 
> 	<ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/mercury-rotd-2006-05-07.x86_64-unknown-linux-gnu-libc2.3.tar.gz>
> 
> At a pinch you might want to try that (it's a fairly hefty download though, ~190M).
> 
> It's also possible there may be a problem with gcc 3.4.6 (we're using on
> 3.3.5).  I'll try gcc 3.4.6 sometime tommorrow.  Another thing you might
> want to try is turning off gcc optimizations, i.e. adding
> 
> 	EXTRA_CFLAGS=-O0
> 
> to the Mmake.params at the top-level of the source tree.

before downloading the binary or trying the above, I'll try with gcc 
3.3.5 first...

Thanks!
Nancy

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------