Clean and harmonize module_list.py

[fbissey]

module_list.py is quite messy in its current state. There are several things that can be done:

1. remove the unused debian bits
2. we have SAGE_LOCAL and SAGE_INC variables but there use iis not uniform
3. we also have numpy_include_dirs, numpy_depends, flint_depends, singular_depends and ginac_depends and most of them are under-used.

In this ticket I remove old debian stuff, use SAGE_INC, SAGE_LOCAL and the other variables in a uniform fashion removing all instances of SAGE_ROOT +/local/... and so on to replace it by the appropriate variable.

Apply:

• trac_11377-build_module_listpy.patch​
• trac_11377-extraflint-dependencies.patch​

[fbissey]

patch to module_list.py

[fbissey]

Now that 4.7.1.alpha0 is out this can be reviewed.

[vbraun]

Looks good to me. But in Sage-4.7.1.alpha2 there were some more extension modules added (under sage.groups.perm_gps.partn_ref). Can you updated your patch for that? I'll review it then asap.

[fbissey]

It is up to date for 4.7.1.alpha2 already. The only possible problems could be with #9989 depending on which one is merged first and whether my suggested changes for it are accepted.

[vbraun]

The patch applies, but sage.groups.perm_gps.partn_ref.* don't use SAGE_INC and the flint_depends:

    Extension('sage.groups.perm_gps.partn_ref.automorphism_group_canonical_label',
              sources = ['sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pyx'],
              libraries = ['gmp', 'flint'],
              include_dirs = [SAGE_ROOT + '/local/include/FLINT/'],
              extra_compile_args = ['-std=c99'],
              depends = [SAGE_ROOT + "/local/include/FLINT/flint.h"]),

[fbissey]

I thought I had taken care of that. My apologies it will take a few hours until I can take care of them.

[fbissey]

I missed a number of flint dependencies in the original patch. Apply trac_11377-build_module_listpy.patchafter

[fbissey]

It turns out I had missed another instance of flint in sage.set.disjoints.set. So the additional patch takes care of it. It was all done on top of alpha2, hopefully there is nothing wrecking it already in alpha3.