Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Allow custom configure options for ATLAS #19805

Closed
jdemeyer opened this issue Dec 30, 2015 · 7 comments
Closed

Allow custom configure options for ATLAS #19805

jdemeyer opened this issue Dec 30, 2015 · 7 comments
Labels
c: packages: standard p: major / 3 t: enhancement
Milestone
sage-7.0

Comments

@jdemeyer
Copy link

Introduce an environment variable ATLAS_CONFIGURE (similar to other such variables) to add user-specified options to configure ATLAS.

CC: @vbraun @kiwifb

Component: packages: standard

Author: Jeroen Demeyer

Branch/Commit: 484b3c7

Reviewer: François Bissey

Issue created by migration from https://trac.sagemath.org/ticket/19805
@jdemeyer jdemeyer added this to the sage-7.0 milestone Dec 30, 2015
@jdemeyer
Copy link
Author

Branch: u/jdemeyer/allow_custom_configure_options_for_atlas

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Dec 30, 2015

Commit: e02af81

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Dec 30, 2015

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Dec 30, 2015

Changed commit from e02af81 to 484b3c7

@jdemeyer
Copy link
Author

jdemeyer commented Jan 7, 2016

comment:5

Can somebody review this please? It's a pretty trivial patch.

@kiwifb
Copy link
Member

kiwifb commented Jan 7, 2016

Reviewer: François Bissey

@vbraun
Copy link
Member

vbraun commented Jan 7, 2016

Changed branch from u/jdemeyer/allow_custom_configure_options_for_atlas to 484b3c7

@vbraun vbraun closed this as completed in dd41401 Jan 7, 2016
@jdemeyer jdemeyer mentioned this issue Sep 22, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: packages: standard p: major / 3 t: enhancement
Projects
None yet
Milestone
sage-7.0
Development

No branches or pull requests
3 participants
@kiwifb @vbraun @jdemeyer