Design #764
ExternalLib: simplify configuration
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
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