Opened 12 years ago

Last modified 7 years ago

#34714 assigned defect

mozart 1.4.0_1 build failure

Reported by: abetaha@… Owned by:
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 (3)

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

Download all attachments as: .zip

Change History (10)

Changed 12 years ago by abetaha@…

Attachment: main.log added

comment:1 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)

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 years ago by abetaha@…

Attachment: main.2.log added

Changed 12 years ago by abetaha@…

Attachment: config.log added

comment:2 Changed 12 years 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 12 years ago by jmroot (Joshua Root)

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 11 years ago by mhaeberli@…

Also having this problem. Suggestions welcome.

comment:5 Changed 11 years ago by mf2k (Frank Schima)

Keywords: lion mozart oz gmp removed

comment:6 Changed 11 years ago by mf2k (Frank Schima)

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

comment:7 Changed 7 years ago by mf2k (Frank Schima)

Owner: bfulgham@… deleted
Status: newassigned

See #54043

Note: See TracTickets for help on using tickets.