New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #34714 (new defect)

Opened 12 months ago

Last modified 3 months ago

mozart 1.4.0_1 build failure

Reported by: abetaha@… Owned by: bfulgham@…
Priority: Normal Milestone:
Component: ports Version: 2.1.1
Keywords: Cc:
Port: mozart

Description

I am getting the following build failure when I try to install mozart 1.4.0_1 macport:

:info:configure checking for gmp.h... yes
:info:configure checking for __gmpz_init in -lgmp (default)... no
:info:configure checking for mpz_init in -lgmp (default)... no
:info:configure checking for mpz_init in -lgmp2 (default)... no
:info:configure configure: warning: required GNU MP lib not found
:info:configure configure: error: 
:info:configure The GNU Multiple Precision Arithmetic Library (gmp)
:info:configure version 2 or higher is required
:info:configure to build the system.  It can be retrieved from:
:info:configure 
:info:configure         ftp://ftp.gnu.org/pub/gnu/gmp/
:info:configure 
:info:configure The latest version at this time is 4.1.2 and is available
:info:configure packaged as the following archive:
:info:configure 
:info:configure         ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz
:info:configure 
:info:configure You may find a mirror archive closer to you by consulting:
:info:configure 
:info:configure         http://www.gnu.org/order/ftp.html
:info:configure 

My environment is:

  • Mac OS X Lion 10.7.4
  • XCode 4.3.2

Attachments

main.log (73.9 KB) - added by abetaha@… 12 months ago.
main.2.log (81.3 KB) - added by abetaha@… 12 months ago.
config.log (1019 bytes) - added by abetaha@… 12 months ago.

Change History

Changed 12 months ago by abetaha@…

comment:1 Changed 12 months ago by ryandesign@…

  • Owner changed from macports-tickets@… to bfulgham@…

mozart does declare a dependency on gmp so it should be installed and I don't understand why mozart is complaining.

Since this was not a clean attempt, please "sudo port clean mozart", then try again, then attach the new main.log, and also the config.log from inside the work directory, if it fails again.

Changed 12 months ago by abetaha@…

Changed 12 months ago by abetaha@…

comment:2 Changed 12 months ago by abetaha@…

I did a clean followed by an install:

sudo port clean --all mozart
sudo port install mozart

and got the same errors. I attached the new main.2.log and config.log to the ticket.

Thanks, Abe

comment:3 Changed 9 months ago by jmr@…

It looks like there's more than one config.log generated, and the one with the error is in the platform/emulator subdir.

comment:4 Changed 3 months ago by mhaeberli@…

Also having this problem. Suggestions welcome.

comment:5 Changed 3 months ago by macsforever2000@…

  • Keywords lion, mozart, oz, gmp removed

comment:6 Changed 3 months ago by macsforever2000@…

Attach the config.log mentioned by jmr in comment:4 above.

Note: See TracTickets for help on using tickets.