Project

General

Profile

Design #1655

Remove ability to compile CoCoALib against UNINSTALLED gmp?

Added by John Abbott about 2 years ago. Updated about 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Safety
Target version:
CoCoALib-0.99800
Start date:
28 Jan 2022
Due date:
% Done:

100%

Estimated time:
3.51 h
Spent time:
3.25 h

Description

This proposal is to modify the configure script so that it does not accept an uninstalled GMP.
A use who does not have sudo capability must then install GMP in a place which is writable
(e.g. $USER/software/ or even $USER/local/ if you want to mimic the name usr/local).

An important point is that installing GMP may well do more than just copy some files.
The GMP developers are entitled to change their internal structure (without warning)
as and when they see fit. Currently we have unwisely tried to be "clever": this involved
putting (private) details of GMP internal structure into our configure script. Not good!

Related issues

Related to CoCoALib - Support #1591: Compilation of NormalizClosed2021-04-30

History

#1 Updated by John Abbott about 2 years ago

JAA now thinks that what we do is wrong rather than "clever".
Unless AMB objects, we should make this change quickly.

#2 Updated by John Abbott about 2 years ago

#3 Updated by John Abbott about 2 years ago

  • Status changed from New to In Progress
  • Assignee set to John Abbott
  • % Done changed from 0 to 10

I think the only real change needed is in the script configuration/gmp-find-hdr.sh
Perhaps it should print out a helpful message if it recognizes that an uninstalled
GMP tree was specified?

PS apparently I also use an uninstalled GMP... I'd forgotten that!

#4 Updated by John Abbott about 2 years ago

  • % Done changed from 10 to 50

I have just compiled successfully.
Need to update doc in ExternalLibs-GMP.txt

Anna will check in her machine soon... should also make compilation of other external libs easier.

#5 Updated by John Abbott about 2 years ago

  • Status changed from In Progress to Resolved
  • % Done changed from 50 to 80

I have updated the doc, and checked in everything.
Hope Anna can check on her machine soon.

#6 Updated by John Abbott about 2 years ago

Anna please check everything is OK on your computer!

#7 Updated by Anna Maria Bigatti about 2 years ago

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

Dowloaded, compiled, (personal-)installed also on windows.
Instructions are good.
Closing

#8 Updated by Anna Maria Bigatti about 2 years ago

  • Estimated time set to 3.51 h

Also available in: Atom PDF