#20107: Add optional gap3_jm package
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.2
Component: packages: | Resolution:
experimental | Merged in:
Keywords: gap3, | Reviewers:
experimental package | Work issues:
Authors: Christian Stump | Commit:
Report Upstream: N/A | 38dbd60fd7ed001373f87835cb1984e555fd3611
Branch: u/stumpc5/20107 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jmichel):
> Jean, it is okay to comment out the lines
> {{{
> #RequirePackage("anusq");
> #RequirePackage("arep");
> #RequirePackage("meataxe");
> #RequirePackage("nq");
> #RequirePackage("sisyphos");
> #RequirePackage("ve");
> }}}
> in {{{init.g}}} and delete those folders in {{{gap3/pkg}}, without
getting into any trouble for {{{chevie}}}?
>
> Otherwise, I could also try to build those packages that needs
compilation, but already {{{meataxe}}} failed on a first try.
You can comment out all of them but arep.g
The function MovedPointsPerm defined in arep/lib/tools.g is used in
various places including chevie.
Generally speaking, arep has some functionality which does not need its
binaries. You could delete the subdirectories bin and src of arep if you
keep the rest.
In the version I am preparing (complete gap3 distribution), I will make
sure all included packages can be compiled
and work on x86 64bits at least.
--
Ticket URL: <http://trac.sagemath.org/ticket/20107#comment:127>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
