Project

General

Profile

Design #764

ExternalLib: simplify configuration

Added by Anna Maria Bigatti over 8 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Normal
Category:
Improving
Target version:
Start date:
02 Sep 2015
Due date:
% Done:

100%

Estimated time:
1.55 h
Spent time:

Description

I've recently added GFan. (in configure file)
It took me a few hours (modifying settings for Frobby) to get all the lines done.
Today I added cdd: it took me 30 mins (because I remembered!)

I think we can simplify the process so that there are fewer strings to replace.


Related issues

Related to CoCoALib - Feature #573: Use symbolic links for external librariesClosed2014-06-18

Related to CoCoALib - Support #887: My first compilations with clangClosed2016-05-31

History

#1 Updated by Anna Maria Bigatti over 8 years ago

  • % Done changed from 0 to 10

All the external libraries now have symbolic links in configuration/ExternalLibs/{include,lib}.
Then it should be possible to make it automatic to
- link all the libraries in configuration/ExternalLibs/lib/
- include everything in configuration/ExternalLibs/include/

#2 Updated by Anna Maria Bigatti over 7 years ago

  • Related to Support #887: My first compilations with clang added

#3 Updated by John Abbott over 7 years ago

  • Status changed from New to In Progress

Is this now resolved? Or even in feedback? Perhaps change target version?

#4 Updated by Anna Maria Bigatti over 7 years ago

  • Target version changed from CoCoALib-1.0 to CoCoALib-0.99560

#5 Updated by John Abbott over 6 years ago

  • Target version changed from CoCoALib-0.99560 to CoCoALib-0.99600

#6 Updated by John Abbott almost 6 years ago

  • Status changed from In Progress to Resolved
  • % Done changed from 10 to 60

Can we close this?

#7 Updated by Anna Maria Bigatti over 5 years ago

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

I've added MathSAT last year: I guess I suffered less, maybe I improved something?
I did not update this issue.
I think we can close this, up to next include...

#8 Updated by John Abbott over 5 years ago

  • Estimated time set to 1.55 h

Also available in: Atom PDF