Build Singular with FLINT support

[jpflori]

Once the updated FLINT 2 spkg at #12173 gets into Sage, Singular should be built with FLINT support.

Depends on #12173

CC: @burcin @jdemeyer

Component: packages: standard

Keywords: singular flint spkg

Author: Jean-Pierre Flori

Branch/Commit: 291e70b

Reviewer: Peter Bruin

Issue created by migration from https://trac.sagemath.org/ticket/13331

[nexttime]

comment:1

Wonder whether Singular automatically uses FLINT if it finds the proper version (2.x?)...

Singular 3-1-5 (with our old FLINT 1.5.2) says

configure: WARNING: Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)

Does this ticket depend on #13237?

[jpflori]

comment:2

Replying to @nexttime:

Does this ticket depend on #13237?

I guess it should.
It should even depend on the updated spkg I'll post in a few moments in #12089 based on the one in #13237.

[nexttime]

comment:4

Just to make you aware of #14737 (new spkg presumably coming up soon).

[jpflori]

Author: Jean-Pierre Flori

[jpflori]

Branch: u/jpflori/ticket/13331

[jpflori]

comment:7

Modified the options passed to configured, cleaned up a little bit SPKG.txt and updated the deps file for pkgs.
Added a patch so that libsingular.so and not only Singular exe is actually linked to flint.
That should prevent future failure when I decide to test it under cygwin,I'll test it tonight.

[sagetrac-git]

Commit: 3bf4cab

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3bf4cab

Build Singular with FLINT support.

[kiwifb]

comment:9

Need a refresh since we are now at singular 3.1.6.p1. As the little configuration patch been forwarded upstream?

[pjbruin]

Work Issues: does not merge with 6.2

[nexttime]

comment:12

Replying to @pjbruin:

• Work issues set to does not merge with 6.2

Just because of #15937 or the changes to module_list.py etc.?

[nexttime]

comment:13

Oh, I see, it's also based on the old version of Singular, as François already mentioned.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

a54ff89

Merge remote-tracking branch 'trac/develop' into ticket/13331

[sagetrac-git]

Changed commit from 3bf4cab to a54ff89

[jpflori]

Changed work issues from does not merge with 6.2 to none

[jpflori]

comment:15

I did not forward the little patch upstream for two reasons:

• I'm not sure it will be needed by Singular 4-0-0 whose build system is completely different.
• Singular issue tracker listens on an exotic port that I cannot access from the machine I developed the patch on.

[pjbruin]

comment:16

This seems all good except for two failing doctests where the output is a list whose ordering has changed:

sage -t --long src/doc/en/developer/coding_in_other.rst  # 1 doctest failed
sage -t --long src/doc/en/constructions/algebraic_geometry.rst  # 1 doctest failed

[pjbruin]

Reviewer: Peter Bruin

[nexttime]

comment:17

FTR/FYI:

There's a small patch at #12442 (attached, no branch) that lets Singular 3.1.6 build with clang.

[sagetrac-git]

Changed commit from a54ff89 to ff841fe

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1c78c41	Merge remote-tracking branch 'trac/develop' into ticket/13331
d45f16b	Let Singular build with clang.
ff841fe	Merge branch 'ticket/12442' into ticket/13331

[sagetrac-git]

Changed commit from ff841fe to 9c02724

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

9c02724

Force upgrade of Singular and fix doctests on 64 bits.

[jpflori]

comment:20

Cannot test on 32 bits right now.
Is that a job for the patchbot?

---

New commits:

9c02724

Force upgrade of Singular and fix doctests on 64 bits.

[pjbruin]

comment:21

Replying to @jpflori:

Cannot test on 32 bits right now.
Is that a job for the patchbot?

I don't know if anyone is running a 32-bit patchbot, but I will test it on ARM.

[pjbruin]

Changed commit from 9c02724 to 291e70b

[pjbruin]

Changed branch from u/jpflori/ticket/13331 to u/pbruin/13331-singular_flint

[pjbruin]

comment:22

Fixed 32-bit doctests, I think everything should work now.

[vbraun]

Changed branch from u/pbruin/13331-singular_flint to 291e70b