Opened 9 years ago
Closed 7 years ago
#13354 closed task (fixed)
Pass -no-undefined flag to autotool based spkg
Reported by: | jpflori | Owned by: | tbd |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | porting: Cygwin | Keywords: | spkg shared library |
Cc: | kcrisman, dimpase | Merged in: | |
Authors: | Reviewers: | Jean-Pierre Flori | |
Report Upstream: | None of the above - read trac for reasoning. | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
A bunch of spkg using autotools do not build shared libraries of Cygwin because -no-undefined flag is not passed to libtool:
- cddlib (update in #13026, we ship a lot of patches for that one, so if I report upstream for that particular issue, what for the others? opened #15872),
- eclib (fixed in #13325 with new upstream version),
- ecm (fixed upstream, see https://gforge.inria.fr/scm/viewvc.php?view=rev&root=ecm&revision=2304),
- givaro (updated in #9511 and #13164, try http://www.infres.enst.fr/~flori/sage/givaro-3.7.1.p0.spkg, reported upstream, got in, see https://forge.imag.fr/scm/browser.php?group_id=187),
- glpk (updated in #12703, reported upstream, some feedback then nothing, see http://lists.gnu.org/archive/html/help-glpk/2012-12/msg00008.html, my last answer does not appear (although it was sent to marco and the list which must be somehow filtered), new discussion at http://lists.gnu.org/archive/html/help-glpk/2014-11/msg00000.html),
- gsl (mentions of -no-undefined in src code but only for MinGW, reported upstream at https://savannah.gnu.org/bugs/index.php?37894, you can try http://boxen.math.washington.edu/home/jpflori/gsl-1.15.p1.spkg, this is #14096, bumped upstream one year later, fixed upstream: http://git.savannah.gnu.org/cgit/gsl.git/commit/?id=1d002ee931b6a19333416ba8c4c4cccbc009b6a9),
- iml (updated in #748, try non updated at http://www.infres.enst.fr/~flori/sage/iml-1.0.1.p15.spkg, not sure upstream still exists, opened #15839, actually fixed upstream with 1.0.4 update, see #16076),
- libfplll (see #13804 for a quick (different problem) fix and #12835 for the fact we ship a really old version, should update it before thinking about the problem here, fixed in new upstream version 4.0.3),
- linbox (updated in #12883, try http://www.infres.enst.fr/~flori/sage/linbox-1.3.2.p0.spkg, reported upstream, fixed, see https://groups.google.com/d/topic/linbox-devel/sHan2BB8HVM/discussion),
- lrcalc (fixed in #13839 which should be half upstream),
- mpfi (fixed upstream, see https://gforge.inria.fr/scm/viewvc.php?view=rev&root=mpfi&revision=656),
- ntl (broken and fixed in #11635, no real upstream anymore as far as I understand, in fact Shoup is working on NTL again and I've made him aware of that),
- libgap (guess we are more or less upstream, see #14038)
- gf2x (fixed in #15014, reported upstream, I'll provide a proper fix when I have time)
Attachments (1)
Change History (42)
comment:1 Changed 9 years ago by
- Description modified (diff)
comment:2 Changed 9 years ago by
comment:3 Changed 9 years ago by
- Description modified (diff)
comment:4 Changed 9 years ago by
- Description modified (diff)
comment:5 Changed 9 years ago by
comment:7 Changed 9 years ago by
The Linbox spkg from #12883 changed, so the one linked here is now outdated.
comment:8 Changed 9 years ago by
The linbox spkg is now rebased on top of #12883, but nothing is committed. By the way, the spkg there lacks an hg tag.
comment:9 Changed 9 years ago by
- Cc kcrisman dimpase added
- Description modified (diff)
comment:10 Changed 9 years ago by
- Description modified (diff)
comment:11 Changed 9 years ago by
- Description modified (diff)
comment:12 Changed 9 years ago by
- Description modified (diff)
Reported upstream for givaro, mpfi, linbox, gsl.
comment:13 Changed 9 years ago by
Reported for glpk and libfplll as well.
comment:14 Changed 9 years ago by
Contacted upstream ecm as well.
comment:15 Changed 9 years ago by
Reported for lrcalc as well.
comment:16 Changed 9 years ago by
MPFI is fixed upstream, see: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=mpfi&revision=656
Givaro is fixed upstream: https://forge.imag.fr/scm/browser.php?group_id=187
I'm working on lrcalc as now Sage is more or less upstream. (I guess IML will be the same.)
And I'll provide quickly a patch for upstream ECM and it should get merged.
Feedback from fplll which I guess will be fixed in a couple of weeks in the new version (so we'll have to update to get a shared library).
Feedback from GSL and GLPK as well.
No feedback from LinBox? yet.
comment:17 Changed 9 years ago by
I've open a ticket for lrcalc, see #13839. Spkg coming soon.
comment:18 Changed 9 years ago by
ECM is fixed upstream. See https://gforge.inria.fr/scm/viewvc.php?view=rev&root=ecm&revision=2304
comment:19 follow-up: ↓ 20 Changed 9 years ago by
- Description modified (diff)
JP, if you could be sure to somehow indicate on tickets you open for this that this is the metaticket for them?
comment:20 in reply to: ↑ 19 Changed 9 years ago by
- Description modified (diff)
Replying to kcrisman:
JP, if you could be sure to somehow indicate on tickets you open for this that this is the metaticket for them?
I'll try :)
comment:21 Changed 9 years ago by
- Description modified (diff)
- Report Upstream changed from N/A to None of the above - read trac for reasoning.
- Type changed from defect to task
Libgap needs fixing as well.
comment:23 Changed 9 years ago by
- Description modified (diff)
- Status changed from new to needs_review
comment:24 Changed 9 years ago by
- Status changed from needs_review to needs_work
comment:25 Changed 9 years ago by
- Description modified (diff)
Tentative gsl fixed and dirty spkg which seems to let some doctests which failed before pass at http://boxen.math.washington.edu/home/jpflori/gsl-1.15.p1.spkg
comment:26 Changed 9 years ago by
As we observed on #14038, this change can break OSX. So these changes should be made CYGWIN-only, or non-OSX only. (I don't know if there is any advantage to use -no-undefined, e.g. performance-wise).
comment:28 Changed 9 years ago by
- Description modified (diff)
libfplll has been fixed upstream in version 4.0.3.
comment:29 Changed 8 years ago by
- Description modified (diff)
#15014 is for gf2x, this prevents building NTL on Cygwin...
comment:30 Changed 8 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:31 Changed 8 years ago by
For the record, the spkg needing patches are as far as I know:
- iml
- glpk
- cddlib
comment:32 Changed 8 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:34 Changed 8 years ago by
- Description modified (diff)
GSL has been fixed upstream! http://git.savannah.gnu.org/cgit/gsl.git/commit/?id=1d002ee931b6a19333416ba8c4c4cccbc009b6a9
comment:36 Changed 8 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:37 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:38 Changed 7 years ago by
- Description modified (diff)
comment:39 Changed 7 years ago by
- Description modified (diff)
- Status changed from needs_work to positive_review
All packages we currently ship are ok upstream or configured or patched by us.
comment:40 Changed 7 years ago by
- Reviewers set to Jean-Pierre Flori
comment:41 Changed 7 years ago by
- Milestone changed from sage-6.4 to sage-duplicate/invalid/wontfix
- Resolution set to fixed
- Status changed from positive_review to closed
Updates for