2018-04-24 23:53:36 +02:00
|
|
|
{ stdenv
|
|
|
|
, lib
|
|
|
|
, writeTextFile
|
|
|
|
, python
|
|
|
|
, sagelib
|
|
|
|
, env-locations
|
|
|
|
, gfortran
|
|
|
|
, bash
|
|
|
|
, coreutils
|
|
|
|
, gnused
|
|
|
|
, gnugrep
|
|
|
|
, binutils
|
|
|
|
, pythonEnv
|
|
|
|
, python3
|
|
|
|
, pkg-config
|
|
|
|
, pari
|
2019-01-17 00:28:37 +01:00
|
|
|
, gap
|
2018-04-24 23:53:36 +02:00
|
|
|
, ecl
|
|
|
|
, maxima-ecl
|
|
|
|
, singular
|
|
|
|
, giac
|
|
|
|
, palp
|
|
|
|
, rWrapper
|
|
|
|
, gfan
|
|
|
|
, cddlib
|
|
|
|
, jmol
|
|
|
|
, tachyon
|
|
|
|
, glpk
|
|
|
|
, eclib
|
|
|
|
, sympow
|
|
|
|
, nauty
|
|
|
|
, sqlite
|
|
|
|
, ppl
|
|
|
|
, ecm
|
|
|
|
, lcalc
|
|
|
|
, rubiks
|
|
|
|
, flintqs
|
2018-11-24 18:41:53 +01:00
|
|
|
, openblasCompat
|
2018-04-24 23:53:36 +02:00
|
|
|
, flint
|
|
|
|
, gmp
|
|
|
|
, mpfr
|
|
|
|
, pynac
|
|
|
|
, zlib
|
|
|
|
, gsl
|
|
|
|
, ntl
|
2018-12-01 21:26:37 +01:00
|
|
|
, jdk
|
2018-04-24 23:53:36 +02:00
|
|
|
}:
|
|
|
|
|
2018-11-12 23:28:29 +01: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 23:53:36 +02: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-17 00:28:37 +01:00
|
|
|
gap
|
2018-04-24 23:53:36 +02:00
|
|
|
ecl
|
|
|
|
maxima-ecl
|
|
|
|
singular
|
|
|
|
giac
|
|
|
|
palp
|
2018-11-27 18:26:16 +01:00
|
|
|
# needs to be rWrapper since the default `R` doesn't include R's default libraries
|
2018-04-24 23:53:36 +02:00
|
|
|
rWrapper
|
|
|
|
gfan
|
|
|
|
cddlib
|
|
|
|
jmol
|
|
|
|
tachyon
|
|
|
|
glpk
|
|
|
|
eclib
|
|
|
|
sympow
|
|
|
|
nauty
|
|
|
|
sqlite
|
|
|
|
ppl
|
|
|
|
ecm
|
|
|
|
lcalc
|
|
|
|
rubiks
|
|
|
|
flintqs
|
2018-12-01 21:26:37 +01:00
|
|
|
jdk # only needed for `jmol` which may be replaced in the future
|
2018-04-24 23:53:36 +02:00
|
|
|
]
|
|
|
|
));
|
|
|
|
in
|
|
|
|
writeTextFile rec {
|
|
|
|
name = "sage-env";
|
|
|
|
destination = "/${name}";
|
|
|
|
text = ''
|
|
|
|
export PKG_CONFIG_PATH='${lib.concatStringsSep ":" (map (pkg: "${pkg}/lib/pkgconfig") [
|
2018-11-24 18:41:53 +01:00
|
|
|
# This is only needed in the src/sage/misc/cython.py test and I'm not
|
|
|
|
# sure if there's really a usecase for it outside of the tests. However
|
|
|
|
# since singular and openblas are runtime dependencies anyways, it doesn't
|
|
|
|
# really hurt to include.
|
2018-04-24 23:53:36 +02:00
|
|
|
singular
|
2018-11-24 18:41:53 +01:00
|
|
|
openblasCompat
|
2018-04-24 23:53:36 +02:00
|
|
|
])
|
|
|
|
}'
|
2018-11-12 23:28:29 +01:00
|
|
|
export SAGE_ROOT='${sagelib.src}'
|
2018-04-24 23:53:36 +02: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 23:28:29 +01:00
|
|
|
source "${sagelib.src}/src/bin/sage-env"
|
2019-01-17 00:28:37 +01:00
|
|
|
export PATH="$RUNTIMEPATH_PREFIX:${runtimepath}:$orig_path" # sage-env messes with PATH
|
2018-04-24 23:53:36 +02:00
|
|
|
|
|
|
|
export SAGE_LOGS="$TMPDIR/sage-logs"
|
|
|
|
export SAGE_DOC="''${SAGE_DOC_OVERRIDE:-doc-placeholder}"
|
2018-11-12 23:28:29 +01:00
|
|
|
export SAGE_DOC_SRC="''${SAGE_DOC_SRC_OVERRIDE:-${sagelib.src}/src/doc}"
|
2018-04-24 23:53:36 +02: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-17 00:28:37 +01:00
|
|
|
gap
|
2018-04-24 23:53:36 +02: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-17 00:28:37 +01:00
|
|
|
gap
|
2018-04-24 23:53:36 +02:00
|
|
|
pynac
|
|
|
|
mpfr.dev
|
|
|
|
])
|
|
|
|
}'
|
|
|
|
|
|
|
|
export SAGE_LIB='${sagelib}/${python.sitePackages}'
|
|
|
|
|
2018-11-12 23:28:29 +01:00
|
|
|
export SAGE_EXTCODE='${sagelib.src}/src/ext'
|
2018-04-24 23:53:36 +02:00
|
|
|
|
2018-11-12 23:28:29 +01:00
|
|
|
# for find_library
|
2018-04-24 23:53:36 +02:00
|
|
|
export DYLD_LIBRARY_PATH="${lib.makeLibraryPath [stdenv.cc.libc singular]}:$DYLD_LIBRARY_PATH"
|
|
|
|
'';
|
2018-11-12 23:28:29 +01:00
|
|
|
} // {
|
|
|
|
lib = sagelib; # equivalent of `passthru`, which `writeTextFile` doesn't support
|
2018-04-24 23:53:36 +02:00
|
|
|
}
|