2018-04-24 22:53:36 +01:00
|
|
|
{ stdenv
|
|
|
|
, lib
|
|
|
|
, writeTextFile
|
|
|
|
, python
|
|
|
|
, sagelib
|
|
|
|
, env-locations
|
|
|
|
, gfortran
|
|
|
|
, bash
|
|
|
|
, coreutils
|
|
|
|
, gnused
|
|
|
|
, gnugrep
|
|
|
|
, binutils
|
|
|
|
, pythonEnv
|
|
|
|
, python3
|
|
|
|
, pkg-config
|
|
|
|
, pari
|
2019-01-16 23:28:37 +00:00
|
|
|
, gap
|
2018-04-24 22:53:36 +01:00
|
|
|
, ecl
|
|
|
|
, maxima-ecl
|
|
|
|
, singular
|
2019-11-04 10:36:48 +00:00
|
|
|
, fflas-ffpack
|
|
|
|
, givaro
|
|
|
|
, gd
|
|
|
|
, libpng
|
|
|
|
, linbox
|
|
|
|
, m4ri
|
2018-04-24 22:53:36 +01:00
|
|
|
, giac
|
|
|
|
, palp
|
|
|
|
, rWrapper
|
|
|
|
, gfan
|
|
|
|
, cddlib
|
|
|
|
, jmol
|
|
|
|
, tachyon
|
|
|
|
, glpk
|
|
|
|
, eclib
|
|
|
|
, sympow
|
|
|
|
, nauty
|
|
|
|
, sqlite
|
|
|
|
, ppl
|
|
|
|
, ecm
|
|
|
|
, lcalc
|
|
|
|
, rubiks
|
|
|
|
, flintqs
|
2020-03-31 15:47:18 +01:00
|
|
|
, blas
|
|
|
|
, lapack
|
2018-04-24 22:53:36 +01:00
|
|
|
, flint
|
|
|
|
, gmp
|
|
|
|
, mpfr
|
|
|
|
, pynac
|
|
|
|
, zlib
|
|
|
|
, gsl
|
|
|
|
, ntl
|
2018-12-01 20:26:37 +00:00
|
|
|
, jdk
|
2019-09-23 14:13:39 +01:00
|
|
|
, less
|
2018-04-24 22:53:36 +01:00
|
|
|
}:
|
|
|
|
|
2020-04-20 21:50:55 +01:00
|
|
|
assert (!blas.isILP64) && (!lapack.isILP64);
|
2020-03-31 15:47:18 +01:00
|
|
|
|
2018-11-12 22:28:29 +00:00
|
|
|
# This generates a `sage-env` shell file that will be sourced by sage on startup.
|
|
|
|
# It sets up various environment variables, telling sage where to find its
|
|
|
|
# dependencies.
|
|
|
|
|
2018-04-24 22:53:36 +01:00
|
|
|
let
|
|
|
|
runtimepath = (lib.makeBinPath ([
|
|
|
|
"@sage-local@"
|
|
|
|
"@sage-local@/build"
|
|
|
|
pythonEnv
|
|
|
|
# empty python env to add python wrapper that clears PYTHONHOME (see
|
|
|
|
# wrapper.nix). This is necessary because sage will call the python3 binary
|
|
|
|
# (from python2 code). The python2 PYTHONHOME (again set in wrapper.nix)
|
|
|
|
# will then confuse python3, if it is not overwritten.
|
|
|
|
python3.buildEnv
|
|
|
|
gfortran # for inline fortran
|
|
|
|
stdenv.cc # for cython
|
|
|
|
bash
|
|
|
|
coreutils
|
|
|
|
gnused
|
|
|
|
gnugrep
|
|
|
|
binutils.bintools
|
|
|
|
pkg-config
|
|
|
|
pari
|
2019-01-16 23:28:37 +00:00
|
|
|
gap
|
2018-04-24 22:53:36 +01:00
|
|
|
ecl
|
|
|
|
maxima-ecl
|
|
|
|
singular
|
|
|
|
giac
|
|
|
|
palp
|
2018-11-27 17:26:16 +00:00
|
|
|
# needs to be rWrapper since the default `R` doesn't include R's default libraries
|
2018-04-24 22:53:36 +01:00
|
|
|
rWrapper
|
|
|
|
gfan
|
|
|
|
cddlib
|
|
|
|
jmol
|
|
|
|
tachyon
|
|
|
|
glpk
|
|
|
|
eclib
|
|
|
|
sympow
|
|
|
|
nauty
|
|
|
|
sqlite
|
|
|
|
ppl
|
|
|
|
ecm
|
|
|
|
lcalc
|
|
|
|
rubiks
|
|
|
|
flintqs
|
2018-12-01 20:26:37 +00:00
|
|
|
jdk # only needed for `jmol` which may be replaced in the future
|
2019-09-23 14:13:39 +01:00
|
|
|
less # needed to prevent transient test errors until https://github.com/ipython/ipython/pull/11864 is resolved
|
2018-04-24 22:53:36 +01:00
|
|
|
]
|
|
|
|
));
|
|
|
|
in
|
|
|
|
writeTextFile rec {
|
|
|
|
name = "sage-env";
|
|
|
|
destination = "/${name}";
|
|
|
|
text = ''
|
2019-11-04 10:36:48 +00:00
|
|
|
export PKG_CONFIG_PATH='${lib.makeSearchPathOutput "dev" "lib/pkgconfig" [
|
|
|
|
# This should only be needed during build. However, since the doctests
|
|
|
|
# also test the cython build (for example in src/sage/misc/cython.py),
|
|
|
|
# it is also needed for the testsuite to pass. We could fix the
|
|
|
|
# testsuite instead, but since all the packages are also runtime
|
|
|
|
# dependencies it doesn't really hurt to include them here.
|
2018-04-24 22:53:36 +01:00
|
|
|
singular
|
2020-03-31 15:47:18 +01:00
|
|
|
blas lapack
|
2019-11-04 10:36:48 +00:00
|
|
|
fflas-ffpack givaro
|
|
|
|
gd
|
|
|
|
libpng zlib
|
|
|
|
gsl
|
|
|
|
linbox
|
|
|
|
m4ri
|
|
|
|
]
|
2018-04-24 22:53:36 +01:00
|
|
|
}'
|
2018-11-12 22:28:29 +00:00
|
|
|
export SAGE_ROOT='${sagelib.src}'
|
2018-04-24 22:53:36 +01:00
|
|
|
export SAGE_LOCAL='@sage-local@'
|
|
|
|
export SAGE_SHARE='${sagelib}/share'
|
|
|
|
orig_path="$PATH"
|
|
|
|
export PATH='${runtimepath}'
|
|
|
|
|
|
|
|
# set dependent vars, like JUPYTER_CONFIG_DIR
|
2018-11-12 22:28:29 +00:00
|
|
|
source "${sagelib.src}/src/bin/sage-env"
|
2019-01-16 23:28:37 +00:00
|
|
|
export PATH="$RUNTIMEPATH_PREFIX:${runtimepath}:$orig_path" # sage-env messes with PATH
|
2018-04-24 22:53:36 +01:00
|
|
|
|
|
|
|
export SAGE_LOGS="$TMPDIR/sage-logs"
|
|
|
|
export SAGE_DOC="''${SAGE_DOC_OVERRIDE:-doc-placeholder}"
|
2018-11-12 22:28:29 +00:00
|
|
|
export SAGE_DOC_SRC="''${SAGE_DOC_SRC_OVERRIDE:-${sagelib.src}/src/doc}"
|
2018-04-24 22:53:36 +01:00
|
|
|
|
|
|
|
# set locations of dependencies
|
|
|
|
. ${env-locations}/sage-env-locations
|
|
|
|
|
|
|
|
# needed for cython
|
|
|
|
export CC='${stdenv.cc}/bin/${stdenv.cc.targetPrefix}cc'
|
|
|
|
# cython needs to find these libraries, otherwise will fail with `ld: cannot find -lflint` or similar
|
|
|
|
export LDFLAGS='${
|
|
|
|
lib.concatStringsSep " " (map (pkg: "-L${pkg}/lib") [
|
|
|
|
flint
|
2019-01-16 23:28:37 +00:00
|
|
|
gap
|
2018-04-24 22:53:36 +01:00
|
|
|
glpk
|
|
|
|
gmp
|
|
|
|
mpfr
|
|
|
|
pari
|
|
|
|
pynac
|
|
|
|
zlib
|
|
|
|
eclib
|
|
|
|
gsl
|
|
|
|
ntl
|
|
|
|
jmol
|
|
|
|
sympow
|
|
|
|
])
|
|
|
|
}'
|
|
|
|
export CFLAGS='${
|
|
|
|
lib.concatStringsSep " " (map (pkg: "-isystem ${pkg}/include") [
|
|
|
|
singular
|
|
|
|
gmp.dev
|
|
|
|
glpk
|
|
|
|
flint
|
2019-01-16 23:28:37 +00:00
|
|
|
gap
|
2018-04-24 22:53:36 +01:00
|
|
|
pynac
|
|
|
|
mpfr.dev
|
|
|
|
])
|
|
|
|
}'
|
|
|
|
|
|
|
|
export SAGE_LIB='${sagelib}/${python.sitePackages}'
|
|
|
|
|
2018-11-12 22:28:29 +00:00
|
|
|
export SAGE_EXTCODE='${sagelib.src}/src/ext'
|
2018-04-24 22:53:36 +01:00
|
|
|
|
2018-11-12 22:28:29 +00:00
|
|
|
# for find_library
|
2020-01-02 00:29:34 +00:00
|
|
|
export DYLD_LIBRARY_PATH="${lib.makeLibraryPath [stdenv.cc.libc singular]}''${DYLD_LIBRARY_PATH:+:}$DYLD_LIBRARY_PATH"
|
2018-04-24 22:53:36 +01:00
|
|
|
'';
|
2018-11-12 22:28:29 +00:00
|
|
|
} // {
|
|
|
|
lib = sagelib; # equivalent of `passthru`, which `writeTextFile` doesn't support
|
2018-04-24 22:53:36 +01:00
|
|
|
}
|