[mercury-users] install error with rotd 13-12-06 and 13.1

[Ben Schmidt]

> When installing rotd 13-12-06 and version 13.1 the installation stops
> with an error. I am using gcc  4.1.2 on debian etch.

Looks like a bug in the compiler for the deep profiling grades. The 
simplest solution is if you don't need those grades: pass 
--disable-prof-grades to configure, or an explicit list with 
--enable-libgrades=comma,in,list,of,grades. Or pass a list of libgrades 
avoiding profdeep grades to mmake at the install phase to save 
recompiling stuff unnecessarily:

scripts/mmake LIBGRADES="space separated list of grades" install

Once the install phase gets past some grade, that grade is successfully 
installed, so needn't be installed again.

If you do need deep profiling, someone else will have to help you out.

Ben.


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