New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[ARM] Singular 3-1-3-3.p1 doesn't compile as-is #12110
Comments
Replying to @SnarkBoojum: You have patched Singular.Makefile.in.debug.patch, but don't you also need to patch the non-debug Makefile? Then, this needs to be rebased for 4.8, as the patch to spkg-install does not apply any more. |
comment:2
I didn't need to patch the non-debug Makefile, so I don't see the point of patching it : upstream has so much better in store for the future that there's little incentive to make more than what is necessary. I'll provide a newer patch when I'll have seen the failure in 4.8alpha5. |
comment:3
Replying to @SnarkBoojum:
as I mentioned, your patch needs to be rebased, anyway, as Singular spkg has been updated in the meantime. |
comment:4
Ok, here is a rebased patch, but it won't make singular compile : there are now unresolved symbols (omalloc symbols) everywhere... I'll investigate. |
comment:5
Hmmmm... it tries to use omalloc_ndebug, which doesn't have the right symbols:
and:
Sigh. Here is how omDebug.c (where those are defined) is compiled for libomalloc.a:
and here is how it is compiled for libomalloc_ndebug.a:
and of course, almost all of omDebug.c is in a #ifndef OM_NDEBUG. That explains the break, but doesn't explain why it would compile on other platforms and not here! |
comment:6
Ok, I found the problem : now there is a kernel.Makefile.in.debug.patch, which shouldn't be applied unconditionally! |
Attachment: singular-add-shared-switch.patch.gz Patch to add -shared as a switch by default on unknown platforms |
comment:7
The new patch adds a new Singular.Makefile.in.shared.patch file to patches/, and applies it unconditionally. [Aside: in my previous comment, s/kernel/Singular/] It compiles on my ARM box. |
comment:8
Replying to @SnarkBoojum:
Thanks! With this patch, and the new flint spkg on #10328 provided by William, the build completes. As the system does not have readline-dev installed, the Ubuntu 11.10-specific bug does not materialize. I'm running "make ptest" now. So the next step would be to make proper spkgs for Singular and for Flint... |
comment:9
singular-3-1-3-3.p3.spkg on my provider's big file service. |
comment:10
New version of the spkg, which should be in a reviewable state (things are checked in, I added informations to SPKG.txt...) here : singular-3-1-3-3.p3.spkg |
This comment has been minimized.
This comment has been minimized.
Upstream: Fixed upstream, in a later stable release. |
Author: Julien Puydt |
Reviewer: Dmitrii Pasechnik |
Merged: sage-4.8.rc0 |
The singular package in 4.8.alpha doesn't compile because it lacks a simple switch in a compilation line.
The reason is that 3-1-3-3 still uses an organisation where you either have a known platform and hence get nice switches, or you're not -- and you get crap.
In fact, sage's spkg already adds forcefully a few "-fPIC" here and there that make things better.
The attached patch adds a "-shared" switch to LIBSINGULAR_FLAGS -- but it does so before that variable is overwritten by the good flags if the platform is known. That means it unbreaks my platform but doesn't break the others.
I have an upstream ticket about singular on ARM here : http://www.singular.uni-kl.de:8002/trac/ticket/299
release manager: the working spkg (just a copy of Snark's, at a more convenient place) can be found here: spkg@boxen
Upstream: Fixed upstream, in a later stable release.
Component: build
Author: Julien Puydt
Reviewer: Dmitrii Pasechnik
Merged: sage-4.8.rc0
Issue created by migration from https://trac.sagemath.org/ticket/12110
The text was updated successfully, but these errors were encountered: