Skip to content

Commit

Permalink
gh-37701: Default SAGE_ECMBIN to "ecm".
Browse files Browse the repository at this point in the history
    
Having `None` as default breaks the feature ecm.  This restores the
previous default, which corresponds to the upstream name for the binary.

See #37011 (comment)

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
    
URL: #37701
Reported by: Gonzalo Tornaría
Reviewer(s): Dima Pasechnik
  • Loading branch information
Release Manager committed Mar 31, 2024
2 parents 9b0a40d + f586cde commit e026973
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/sage/env.py
Original file line number Diff line number Diff line change
Expand Up @@ -220,7 +220,7 @@ def var(key: str, *fallbacks: Optional[str], force: bool = False) -> Optional[st
MAXIMA_FAS = var("MAXIMA_FAS")
KENZO_FAS = var("KENZO_FAS")
SAGE_NAUTY_BINS_PREFIX = var("SAGE_NAUTY_BINS_PREFIX", "")
SAGE_ECMBIN = var("SAGE_ECMBIN")
SAGE_ECMBIN = var("SAGE_ECMBIN", "ecm")
RUBIKS_BINS_PREFIX = var("RUBIKS_BINS_PREFIX", "")
FOURTITWO_HILBERT = var("FOURTITWO_HILBERT")
FOURTITWO_MARKOV = var("FOURTITWO_MARKOV")
Expand Down

0 comments on commit e026973

Please sign in to comment.