Project

General

Profile

Feature #247

Use gmp default location if possible

Added by Christof Soeger over 11 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Target version:
-
Start date:
17 Sep 2012
Due date:
% Done:

100%

Estimated time:
8.00 h
Spent time:

Description

The configure script currently wants to get the path to the gmp headers and libraries. If there is a system default installation this is not necessary and has even some drawbacks (from my point of view):
  1. The user has to specify the path if more than one lib is found (e.g. the .a and .so).
  2. The path is in the autoconf.mk and removes the control of which library to use from the system.
  3. It makes the compile commands longer (ok, not such a point).

I think if there is a default installation it should work without giving the path explicitly. So I made a gmp-try-default.sh and updated the configure. If no gmp path was given it will now try to compile small test programs for gmp and gmpxx and only give "-lgmp" / "-lgmpxx -lgmp" as parameters. If the test for gmp was successful it will be used. Otherwise it goes back to the "old way" with the gmp-find script.

This should improve the usability of the script and still offers all possibilities.


Related issues

Related to CoCoA - Feature #214: gmp header location assumption in configure scriptClosed2012-08-01

Related to CoCoALib - Feature #253: W.Bruns's wish listClosed2012-10-04

Related to CoCoALib - Feature #255: Use BOOST lib default location if possibleClosed2012-10-08

History

#1 Updated by John Abbott over 11 years ago

Waiting for confirmation from John and Anna that Christof's new script works on their computers. Will close if all works properly.

#2 Updated by John Abbott over 11 years ago

  • Status changed from New to Resolved
  • % Done changed from 70 to 90

#3 Updated by John Abbott over 11 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF