[mercury-users] compilation problem gcc-4, version 0.13.1

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Dec 26 17:46:19 AEDT 2006


On Sat, 23 Dec 2006, Johann Borck wrote:

> Hello,
> I tried to compile mercury-compiler-0.13.1 on debian,  gcc version
> 4.0.4, configure; make; make install  without additional parameters.
>
> configure+make succeed, but make install fails after with following output:
> ...
> eqvclass.c:292: warning: 'mercury__eqvclass__id_to_partition_3_0' used
> but never defined
> eqvclass.c:294: warning: 'mercury__eqvclass__make_partition_4_0' used
> but never defined
> /clean/mercury-compiler-0.13.1/tmp_dir/scripts/mgnuc --grade
> asm_fast.gc.profdeep        --       -c exception.c -o exception.o
> exception.m:1972: error: static declaration of
> 'mercury_data__proc_layout__mercury__exception__builtin_throw_1_0'
> follows non-static declaration
> exception.c:2657: error: previous declaration of
> 'mercury_data__proc_layout__mercury__exception__builtin_throw_1_0' was here
> make[2]: *** [exception.o] Error 1
> make[2]: Leaving directory `/clean/mercury-compiler-0.13.1/tmp_dir/library'
> To clean up from failed install, remove tmp_dir
> make[1]: *** [install_grades] Error 1
> make[1]: Leaving directory `/clean/mercury-compiler-0.13.1'
> make: *** [install] Error 2
>
> might this be an issue with gcc-4 comptibility?

The issue with exception module is (technically) a bug in our code; it's
just that versions of gcc prior to version 4 didn't pick it up.  I've
just committed a fix for this on the main branch and it should make its
way into the 0.13.2 betas in a couple of days.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list