Opened 9 years ago

Last modified 4 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@… 9 years ago.
main.2.log (81.3 KB) - added by abetaha@… 9 years ago.
config.log (1019 bytes) - added by abetaha@… 9 years ago.

Download all attachments as: .zip

Change History (10)

Changed 9 years ago by abetaha@…

Attachment: main.log added

comment:1 Changed 9 years ago by ryandesign (Ryan 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 9 years ago by abetaha@…

Attachment: main.2.log added

Changed 9 years ago by abetaha@…

Attachment: config.log added

comment:2 Changed 9 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 9 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 8 years ago by mhaeberli@…

Also having this problem. Suggestions welcome.

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

Keywords: lion mozart oz gmp removed

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

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

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

Owner: bfulgham@… deleted
Status: newassigned

See #54043

Note: See TracTickets for help on using tickets.