[mercury-users] problems compiling mercury 0.12.2

[Julien Fischer]

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?


> 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.

> 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?

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.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------