diff options
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 639 |
1 files changed, 273 insertions, 366 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 33ae378a2a..b447af305b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -168,9 +168,8 @@ (sha256 (base32 "1q1887ryqdr9sn0522hc7p16kqwlxxyz5dkmma8ar2nxplhgll7q")))) (build-system gnu-build-system) - (inputs `(("gtk+" ,gtk+) - ("libxml2" ,libxml2))) - (native-inputs `(("pkg-config" ,pkg-config))) + (inputs (list gtk+ libxml2)) + (native-inputs (list pkg-config)) (arguments `(#:configure-flags '("CFLAGS=-O2 -g -fcommon"))) (synopsis "Natural deduction first-order logic interface") @@ -196,11 +195,9 @@ beginners.") (base32 "1lniw4bsb5qs5ybf018qllf95pzixb1q3lvybzl4k3xz8zpkrm6k")))) (build-system gnu-build-system) (inputs - `(("ncurses" ,ncurses) - ("readline" ,readline))) + (list ncurses readline)) (native-inputs - `(("cunit" ,cunit) - ("pkg-config" ,pkg-config))) + (list cunit pkg-config)) (synopsis "Terminal based bit manipulator in ncurses") (description "Bitwise is a multi base interactive calculator supporting dynamic base conversion and bit manipulation. It's a handy tool for low level @@ -341,12 +338,12 @@ triangulations.") (setenv "CVXOPT_BUILD_GSL" "1") #t))))) (inputs - `(("fftw" ,fftw) - ("glpk" ,glpk) - ("gsl" ,gsl) - ("lapack" ,lapack) - ("openblas" ,openblas) - ("suitesparse" ,suitesparse))) + (list fftw + glpk + gsl + lapack + openblas + suitesparse)) (home-page "https://www.cvxopt.org") (synopsis "Python library for convex optimization") (description @@ -432,7 +429,7 @@ routines that have been extracted from the V8 JavaScript engine.") (base32 "194pzs1mlsj4ww6v37qq3961h5hckm5h805cv0r14xj3g9wfx2sk")))) (build-system gnu-build-system) - (inputs `(("tcl" ,tcl))) ;for 'tclsh' + (inputs (list tcl)) ;for 'tclsh' (synopsis "Local search for universal constants and scientific values") (description "GNU Dionysus is a convenient system for quickly retrieving the values of @@ -621,10 +618,7 @@ numbers.") (for-each make-file-writable (find-files ".")) #t))))) (inputs - `(("fftw" ,fftw) - ("gmp" ,gmp) - ("mpfr" ,mpfr) - ("openssl" ,openssl))) + (list fftw gmp mpfr openssl)) (home-page "https://sleef.org/") (synopsis "SIMD library for evaluating elementary functions and DFT") (description @@ -648,7 +642,7 @@ It can utilize SIMD instructions that are available on modern processors.") "05bgxidxj8d9xdp82niy7cy36w181cxq7p8vc3y2ixshpgp1642a")))) (build-system gnu-build-system) (inputs - `(("gmp" ,gmp))) + (list gmp)) (arguments `(#:configure-flags '("--with-gmp" "--disable-static"))) @@ -692,10 +686,9 @@ LP/MIP solver is included in the package.") (base32 "0rj92x6p9m3la5gasjbj7sa569im527ffmka5y2sv1amgd3fflrh")))) (build-system gnu-build-system) (native-inputs - `(("which" ,(@ (gnu packages base) which)))) ; for the tests + (list (@ (gnu packages base) which))) ; for the tests (inputs - `(("glpk" ,glpk) - ("gmp" ,gmp))) + (list glpk gmp)) (home-page "http://www.4ti2.de/") (synopsis "Mathematical tool suite for problems on linear spaces") (description @@ -719,7 +712,7 @@ integer programming problems and computes Markov bases for statistics.") "00zdgiqb91vx6gd2103h3ijij0llspsxc6zz3iw2bll39fvkl4xq")))) (build-system gnu-build-system) (inputs - `(("gmp" ,gmp))) + (list gmp)) (home-page "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html") (synopsis "Library for convex hulls and extreme rays of polyhedra") (description @@ -745,7 +738,7 @@ computing convex hulls.") "05kq3hzam31dlmkccv3v358r478kpvx76mw37ka12c6ypwv5dsnk")))) (build-system gnu-build-system) (inputs - `(("gmp" ,gmp))) + (list gmp)) (arguments `(#:tests? #f ; no check phase #:make-flags `("CC=gcc" @@ -784,7 +777,7 @@ be solved.") (base32 "1ic2q7kvxpqmgxlishygvx8d00i4wn51vkq4fyac44ahhf6c3kwd")))) (build-system cmake-build-system) (native-inputs - `(("perl" ,perl))) + (list perl)) (home-page "https://jugit.fz-juelich.de/mlz/libcerf") (synopsis "Library for complex error functions") (description @@ -807,7 +800,7 @@ Dawson, Faddeeva, and Voigt functions.") "1aq0qc1y27iw9grhgnyji3290wwfznsrk3sg6ynqpxwjdda53h4m")))) (build-system gnu-build-system) (inputs - `(("lrslib" ,lrslib))) + (list lrslib)) (arguments `(#:tests? #f ; no check phase #:phases @@ -852,10 +845,7 @@ halfspaces) or by their double description with both representations.") "0l7as5z6xvbxly8alam9s4kws70952qq35a6vkljzayi4b9gbklx")))) (build-system gnu-build-system) (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake) - ("libtool" ,libtool) - ("pkg-config" ,pkg-config))) + (list autoconf automake libtool pkg-config)) (inputs `(("eigen" ,eigen) ("lapack" ,lapack) @@ -1035,11 +1025,7 @@ singular value problems.") (sha256 (base32 "1fp7rbhjmz2w63r72kicf8lfszzimz2csfx868fracw167hpaz75")))) (build-system gnu-build-system) - (inputs `(("readline" ,readline) - ("cairo" ,cairo) - ("pango" ,pango) - ("gd" ,gd) - ("lua" ,lua))) + (inputs (list readline cairo pango gd lua)) (native-inputs `(("pkg-config" ,pkg-config) ("texlive" ,texlive-tiny))) @@ -1103,9 +1089,7 @@ computations.") "hdf4-tirpc.patch")))) (build-system gnu-build-system) (native-inputs - `(("gfortran" ,gfortran) - ("bison" ,bison) - ("flex" ,flex))) + (list gfortran bison flex)) (inputs `(("zlib" ,zlib) ("libjpeg" ,libjpeg-turbo) @@ -1204,10 +1188,9 @@ incompatible with HDF5.") (patches (search-patches "hdf5-config-date.patch")))) (build-system gnu-build-system) (inputs - `(("zlib" ,zlib))) + (list zlib)) (native-inputs - `(("gfortran" ,gfortran) - ("perl" ,perl))) ;part of the test machinery needs Perl + (list gfortran perl)) ;part of the test machinery needs Perl (outputs '("out" ; core library "fortran")) ; fortran interface (arguments @@ -1504,7 +1487,7 @@ implemented in C.") "hdf-eos2-fortrantests.patch")))) (build-system gnu-build-system) (native-inputs - `(("gfortran" ,gfortran))) + (list gfortran)) (inputs `(("hdf4" ,hdf4-alt) ; assume most HDF-EOS2 users won't use the HDF4 netCDF API ;; XXX: These inputs are really dependencies of hdf4. @@ -1542,12 +1525,10 @@ System (Grid, Point and Swath).") "hdf-eos5-fix-szip.patch" "hdf-eos5-fortrantests.patch")))) (native-inputs - `(("gfortran" ,gfortran))) + (list gfortran)) (build-system gnu-build-system) (inputs - `(("hdf5" ,hdf5-1.8) - ("zlib" ,zlib) - ("gctp" ,gctp))) + (list hdf5-1.8 zlib gctp)) (arguments `(#:configure-flags '("--enable-install-include" "--enable-shared" "CC=h5cc -Df2cFortran" "LIBS=-lgctp") @@ -1624,8 +1605,7 @@ Swath).") (("ExternalProject_Add\\(project_blosc") "message(")) #t))))) (inputs - `(("c-blosc" ,c-blosc) - ("hdf5" ,hdf5-1.10))) + (list c-blosc hdf5-1.10)) (home-page "https://github.com/Blosc/hdf5-blosc") (synopsis "Filter for HDF5 using the Blosc compressor") (description "This is a filter for HDF5 that uses the Blosc compressor; by @@ -1646,7 +1626,7 @@ Blosc-compressed datasets.") (base32 "1gm76jbwhz9adbxgn14zx8cj33dmjdr2g5xcy0m9c2gakp8w59kj")))) (build-system gnu-build-system) - (inputs `(("hdf5" ,hdf5-1.8))) ;h5cc for tests + (inputs (list hdf5-1.8)) ;h5cc for tests (home-page "https://www.hdfgroup.org/products/hdf5_tools/h5check.html") (synopsis "HDF5 format checker") (description "@code{h5check} is a validation tool for verifying that an @@ -1667,8 +1647,7 @@ HDF5 file is encoded according to the HDF File Format Specification.") "14ddy2xnb6sgp4hiax9v5sv4pr4l4dd4ps76nfha3nrpr1ikhcqm")))) (build-system cmake-build-system) (arguments `(#:tests? #f)) ; Tests require googletest *sources* - (inputs `(("lapack" ,lapack) - ("fftw" ,fftw))) + (inputs (list lapack fftw)) ;; FIXME: Even though the fonts are available dvips complains: ;; "Font cmmi10 not found; characters will be left blank." (native-inputs @@ -1708,9 +1687,7 @@ similar to MATLAB, GNU Octave or SciPy.") (patches (search-patches "netcdf-date-time.patch")))) (build-system gnu-build-system) (native-inputs - `(("m4" ,m4) - ("doxygen" ,doxygen) - ("graphviz" ,graphviz))) + (list m4 doxygen graphviz)) (inputs `(("hdf4" ,hdf4-alt) ("hdf5" ,hdf5) @@ -1791,9 +1768,9 @@ sharing of scientific data.") "FFLAGS=-fallow-argument-mismatch") #:parallel-tests? #f)) (inputs - `(("netcdf" ,netcdf))) + (list netcdf)) (native-inputs - `(("gfortran" ,gfortran))) + (list gfortran)) (synopsis "Fortran interface for the netCDF library") (description (package-description netcdf)) (home-page (package-home-page netcdf)) @@ -1828,8 +1805,8 @@ sharing of scientific data.") (("libnlopt") (string-append out "/lib/libnlopt"))) #t)))))) - (inputs `(("guile" ,guile-2.0))) - (native-inputs `(("pkg-config" ,pkg-config))) + (inputs (list guile-2.0)) + (native-inputs (list pkg-config)) (home-page "http://ab-initio.mit.edu/wiki/") (synopsis "Library for nonlinear optimization") (description "NLopt is a library for nonlinear optimization, providing a @@ -1869,11 +1846,10 @@ online as well as original implementations of various other algorithms.") after "\n"))) #t)))))) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (inputs ;; TODO: Maybe add dependency on COIN-MUMPS, ASL, and HSL. - `(("lapack" ,lapack))) ;for both libblas and liblapack + (list lapack)) ;for both libblas and liblapack (home-page "https://www.coin-or.org") (synopsis "Large-scale nonlinear optimizer") (description @@ -2047,10 +2023,9 @@ the result of costly computer simulations.") '(delete-file-recursively "ThirdParty")))) (build-system gnu-build-system) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (inputs - `(("openblas" ,openblas))) + (list openblas)) (home-page "https://www.coin-or.org") (synopsis "Branch-and-cut solver") (description @@ -2078,10 +2053,9 @@ executable.") #t)))) (build-system gnu-build-system) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (inputs - `(("openblas" ,openblas))) + (list openblas)) (home-page "https://www.coin-or.org") (synopsis "Linear programming solver") (description @@ -2153,9 +2127,7 @@ and quadratic objectives using the Simplex algorithm.") (add-after 'fix-rpath 'check (assoc-ref %standard-phases 'check))))) (native-inputs - `(("patchelf" ,patchelf) - ("perl" ,perl) - ("sed" ,sed))) + (list patchelf perl sed)) (home-page "https://www.gecode.org") (synopsis "Toolkit for developing constraint-based systems") (description "Gecode is a C++ toolkit for developing constraint-based @@ -2223,7 +2195,7 @@ systems and applications. It provides a modular and extensible solver.") (string-append static "/include")) #t)))))) (inputs - `(("gfortran" ,gfortran))) + (list gfortran)) (native-inputs `(("lapack" ,lapack) ("openblas" ,openblas) @@ -2323,7 +2295,7 @@ between aspif and smodels format or to a human-readable text format.") (rename-file "cmake/ClaspConfig.cmake.in" "cmake/clasp-config.cmake.in")))))) (inputs - `(("libpotassco" ,libpotassco))) + (list libpotassco)) (home-page "https://potassco.org/") (synopsis "Answer set solver") (description "clasp is an answer set solver for (extended) normal and @@ -2388,8 +2360,7 @@ satisfiability checking (SAT).") "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) (inputs - `(("clasp" ,clasp) - ("libpotassco" ,libpotassco))) + (list clasp libpotassco)) (native-inputs `(("clasp-src" ,(package-source clasp)))) (home-page "https://potassco.org/") @@ -2423,9 +2394,9 @@ satisfiability checking (SAT).") (("set\\(LIB_SUFFIX \"64\"\\)") "set(LIB_SUFFIX \"\")"))))))) (native-inputs - `(("pkg-config" ,pkg-config))) + (list pkg-config)) (propagated-inputs - `(("glog" ,glog))) ;for #include <glog/glog.h> + (list glog)) ;for #include <glog/glog.h> (inputs `(("eigen" ,eigen) ("blas" ,openblas) @@ -2492,19 +2463,19 @@ can solve two kinds of problems: ("texinfo" ,texinfo) ("zlib" ,zlib))) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config) - ("perl" ,perl) - ;; The following inputs are not actually used in the build process. - ;; However, the ./configure gratuitously tests for their existence and - ;; assumes that programs not present at build time are also not, and - ;; can never be, available at run time! If these inputs are therefore - ;; not present, support for them will be built out. However, Octave - ;; will still run without them, albeit without the features they - ;; provide. - ("less" ,less) - ("ghostscript" ,ghostscript) - ("gnuplot" ,gnuplot))) + (list gfortran + pkg-config + perl + ;; The following inputs are not actually used in the build process. + ;; However, the ./configure gratuitously tests for their existence and + ;; assumes that programs not present at build time are also not, and + ;; can never be, available at run time! If these inputs are therefore + ;; not present, support for them will be built out. However, Octave + ;; will still run without them, albeit without the features they + ;; provide. + less + ghostscript + gnuplot)) ;; Octave code uses this variable to detect directories holding multiple CA ;; certificates to verify peers with. This is required for the networking ;; functions that require encryption to work properly. @@ -2591,12 +2562,12 @@ script files.") (assoc-ref %outputs "out")) "-UCMAKE_INSTALL_RPATH"))) (inputs - `(("freetype" ,freetype) - ("glu" ,glu) - ("libxmu" ,libxmu) - ("mesa" ,mesa) - ("tcl" ,tcl) - ("tk" ,tk))) + (list freetype + glu + libxmu + mesa + tcl + tk)) (native-inputs `(("python" ,python-wrapper))) (home-page "https://github.com/tpaviot/oce") @@ -2675,17 +2646,17 @@ Open CASCADE library.") "-DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON" "-UCMAKE_INSTALL_LIBDIR"))) (inputs - `(("doxygen" ,doxygen) - ;("freeimage" ,freeimage) - ("freetype" ,freetype) - ("glu" ,glu) - ("libxext" ,libxext) - ("libxi" ,libxi) - ("libxmu" ,libxmu) - ("mesa" ,mesa) - ("tbb" ,tbb-2020) - ("tcl" ,tcl) - ("tk" ,tk))) + (list doxygen + ;("freeimage" ,freeimage) + freetype + glu + libxext + libxi + libxmu + mesa + tbb-2020 + tcl + tk)) ;; TODO: build Overview documentation and add 'doc' output. (home-page "https://www.opencascade.com") (synopsis "Libraries for 3D modeling and numerical simulation") @@ -2736,17 +2707,17 @@ This is the certified version of the Open Cascade Technology (OCCT) library.") #t)))) (build-system cmake-build-system) (propagated-inputs - `(("fltk" ,fltk) - ("gfortran" ,gfortran) - ("glu" ,glu) - ("gmp" ,gmp) - ("hdf5" ,hdf5) - ("lapack" ,lapack) - ("libx11" ,libx11) - ("libxext" ,libxext) - ("mesa" ,mesa) - ("metis" ,metis) - ("opencascade-occt" ,opencascade-occt))) + (list fltk + gfortran + glu + gmp + hdf5 + lapack + libx11 + libxext + mesa + metis + opencascade-occt)) (inputs `(("fontconfig" ,fontconfig) ("libxft" ,libxft) @@ -2834,19 +2805,18 @@ ASCII text files using Gmsh's own scripting language.") ,(list (string-append (assoc-ref inputs "qtsvg") "/lib/qt5/plugins/")))))))))) (native-inputs - `(("pkg-config" ,pkg-config) - ;;("python-astropy" ,python-astropy) ;; FIXME: Package this. - ("qttools" ,qttools) - ("python-sip" ,python-sip-4))) + (list pkg-config + ;;("python-astropy" ,python-astropy) ;; FIXME: Package this. + qttools python-sip-4)) (inputs - `(("ghostscript" ,ghostscript) ;optional, for EPS/PS output - ("python-dbus" ,python-dbus) - ("python-h5py" ,python-h5py) ;optional, for HDF5 data - ("python-pyqt" ,python-pyqt) - ("qtbase" ,qtbase-5) - ("qtsvg" ,qtsvg))) + (list ghostscript ;optional, for EPS/PS output + python-dbus + python-h5py ;optional, for HDF5 data + python-pyqt + qtbase-5 + qtsvg)) (propagated-inputs - `(("python-numpy" ,python-numpy))) + (list python-numpy)) (home-page "https://veusz.github.io/") (synopsis "Scientific plotting package") (description @@ -2898,15 +2868,12 @@ September 2004}") "examples")) ; ~30MiB of examples (build-system gnu-build-system) (native-inputs - `(("python" ,python) - ("which" ,which))) + (list python which)) (inputs - `(("gfortran" ,gfortran) - ("openblas" ,openblas) - ("superlu" ,superlu) - ;; leaving out hdf5 and fftw, as petsc expects them to be built with mpi - ;; leaving out opengl, as configuration seems to only be for mac - )) + (list gfortran openblas superlu + ;; leaving out hdf5 and fftw, as petsc expects them to be built with mpi + ;; leaving out opengl, as configuration seems to only be for mac + )) (arguments (list #:test-target "test" @@ -3040,8 +3007,8 @@ scientific applications modeled by partial differential equations.") (inherit petsc-complex) (name "petsc-complex-openmpi") (inputs - `(("openmpi" ,openmpi) - ,@(package-inputs petsc-complex))) + (modify-inputs (package-inputs petsc-complex) + (prepend openmpi))) (arguments (substitute-keyword-arguments (package-arguments petsc-complex) ((#:configure-flags cf) @@ -3089,7 +3056,7 @@ scientific applications modeled by partial differential equations.") (add-before 'check 'mpi-setup ,%openmpi-setup)))) (native-inputs - `(("python-cython" ,python-cython))) + (list python-cython)) (inputs `(("petsc" ,petsc-openmpi) ("python-numpy" ,python-numpy))) @@ -3148,7 +3115,7 @@ savings are consistently > 5x.") `(("arpack" ,arpack-ng) ("gfortran" ,gfortran))) (propagated-inputs - `(("petsc" ,petsc))) + (list petsc)) (arguments `(#:parallel-build? #f ;build is parallel by default #:configure-flags @@ -3293,8 +3260,7 @@ bindings to almost all functions of SLEPc.") (base32 "1s9hyknfvhj86g3giayyf3dxzg23iij0rs7bdvj075v9qbyhqn9b")))) (build-system gnu-build-system) (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake))) + (list autoconf automake)) (home-page "http://us.metamath.org/") (synopsis "Proof verifier based on a minimalistic formalism") (description @@ -3425,12 +3391,9 @@ book.") (string-append gecode "/bin/fzn-gecode")) (newline port))))))))) (native-inputs - `(("bison" ,bison) - ("flex" ,flex))) + (list bison flex)) (inputs - `(("cbc" ,cbc) - ("gecode" ,gecode) - ("zlib" ,zlib))) + (list cbc gecode zlib)) (home-page "https://www.minizinc.org") (synopsis "High-level constraint modeling language") (description "MiniZinc is a high-level modeling language for constraint @@ -3624,8 +3587,7 @@ sparse system of linear equations A x = b using Gaussian elimination.") "1aapydwwkydbwgz07n7ma3a5jy9n3v0shy6q6j8mi4wr3crhx45a")))) (build-system ruby-build-system) (native-inputs - `(("ruby-nokogiri" ,ruby-nokogiri) - ("ruby-rspec" ,ruby-rspec))) + (list ruby-nokogiri ruby-rspec)) (synopsis "AsciiMath parsing and conversion library") (description "A pure Ruby AsciiMath parsing and conversion library. AsciiMath is an @@ -3678,7 +3640,7 @@ void mc64ad_ (int *a, int *b, int *c, int *d, int *e, double *f, int *g, #t))))))) (build-system cmake-build-system) (native-inputs - `(("tcsh" ,tcsh))) + (list tcsh)) (inputs `(("blas" ,openblas) ("gfortran" ,gfortran))) @@ -3741,7 +3703,7 @@ void mc64ad_dist (int *a, int *b, int *c, int *d, int *e, double *f, int *g, "superlu-dist-awpm-grid.patch")))) (build-system cmake-build-system) (native-inputs - `(("tcsh" ,tcsh))) + (list tcsh)) (inputs `(("gfortran" ,gfortran) ("blas" ,openblas) @@ -3806,11 +3768,9 @@ implemented in ANSI C, and MPI for communications.") "scotch-integer-declarations.patch")))) (build-system gnu-build-system) (inputs - `(("zlib" ,zlib))) + (list zlib)) (native-inputs - `(("flex" ,flex) - ("bison" ,bison) - ("gfortran" ,gfortran))) + (list flex bison gfortran)) (outputs '("out" "metis")) (arguments `(#:make-flags (list (string-append "prefix=" %output)) @@ -3946,9 +3906,7 @@ YACC = bison -pscotchyy -y -b y (package (inherit scotch) (name "scotch-shared") (native-inputs - `(("gcc" ,gcc) - ("flex" ,flex) - ("bison" ,bison))) + (list gcc flex bison)) (arguments (substitute-keyword-arguments (package-arguments scotch) ((#:phases scotch-shared-phases) @@ -4004,7 +3962,7 @@ YACC = bison -pscotchyy -y -b y (package (inherit scotch) (name "pt-scotch") (propagated-inputs - `(("openmpi" ,openmpi))) ;Headers include MPI headers + (list openmpi)) ;Headers include MPI headers (arguments (substitute-keyword-arguments (package-arguments scotch) ((#:phases scotch-phases) @@ -4028,7 +3986,7 @@ YACC = bison -pscotchyy -y -b y (package (inherit scotch32) (name "pt-scotch32") (propagated-inputs - `(("openmpi" ,openmpi))) ;headers include MPI headers + (list openmpi)) ;headers include MPI headers (arguments (substitute-keyword-arguments (package-arguments scotch32) ((#:phases scotch32-phases) @@ -4051,7 +4009,7 @@ YACC = bison -pscotchyy -y -b y (package (inherit scotch-shared) (name "pt-scotch-shared") (propagated-inputs - `(("openmpi" ,openmpi))) ;Headers include MPI headers + (list openmpi)) ;Headers include MPI headers (arguments (substitute-keyword-arguments (package-arguments scotch-shared) ((#:phases scotch-shared-phases) @@ -4170,10 +4128,9 @@ processor cores.") `(#:configure-flags (list "--disable-static"))) (inputs - `(("glib" ,glib) - ("gtk+" ,gtk+))) + (list glib gtk+)) (native-inputs - `(("pkg-config" ,pkg-config))) + (list pkg-config)) (home-page "https://www.gnu.org/software/gsegrafix/") (synopsis "GNOME application to create scientific and engineering plots") (description @@ -4206,9 +4163,7 @@ to BMP, JPEG or PNG image formats.") ("sed" ,sed) ("tk" ,tk))) ;Tcl/Tk is used by 'xmaxima' (native-inputs - `(("texinfo" ,texinfo) - ("perl" ,perl) - ("python" ,python))) + (list texinfo perl python)) (arguments `(#:configure-flags ,#~(list "--enable-sbcl" @@ -4312,12 +4267,12 @@ point numbers.") (native-inputs `(("gettext" ,gettext-minimal))) (inputs - `(("wxwidgets" ,wxwidgets) - ("maxima" ,maxima) - ;; Runtime support. - ("adwaita-icon-theme" ,adwaita-icon-theme) - ("gtk+" ,gtk+) - ("shared-mime-info" ,shared-mime-info))) + (list wxwidgets + maxima + ;; Runtime support. + adwaita-icon-theme + gtk+ + shared-mime-info)) (arguments `(#:tests? #f ; tests fail non-deterministically #:phases @@ -4535,8 +4490,7 @@ parts of it.") "05ifil6jj9424sr8kmircl8k4bmxnl3y12a79vwj1kxxva5gz50g")) (file-name (git-file-name "blis" version)))) (native-inputs - `(("python" ,python) - ("perl" ,perl))) + (list python perl)) (build-system gnu-build-system) (arguments `(#:modules @@ -4756,11 +4710,7 @@ Fresnel integrals, and similar related functions as well.") (modify-phases %standard-phases (delete 'configure)))) ;no configure script (inputs - `(("tbb" ,tbb) - ("openblas" ,openblas) - ("gmp" ,gmp) - ("mpfr" ,mpfr) - ("metis" ,metis))) + (list tbb openblas gmp mpfr metis)) (native-inputs `(("cmake" ,cmake-minimal) ("m4" ,m4))) @@ -4977,7 +4927,7 @@ Version: ~a Cflags: -I${includedir}~%" out ,(version-prefix version 3))))) #t)))))) (native-inputs - `(("unzip" ,unzip))) + (list unzip)) (home-page "https://glm.g-truc.net/") (synopsis "OpenGL Mathematics library") (description "OpenGL Mathematics (GLM) is a header-only C++ mathematics @@ -5243,10 +5193,8 @@ A unique design feature of Trilinos is its focus on packages.") ;; Anyway, they are meant to be used at build time, so rather than adding ;; the interpreters here, any package depending on them should just add ;; the requisite interpreter to its native inputs. - `(("boost" ,boost) - ("hdf5" ,hdf5) - ("suitesparse" ,suitesparse) ; For UMFPACK. - ("tbb" ,tbb))) + (list boost hdf5 suitesparse ; For UMFPACK. + tbb)) (arguments `(#:build-type "DebugRelease" ; Supports only Debug, Release and DebugRelease. ;; The tests take too long and must be explicitly enabled with "make @@ -5324,7 +5272,7 @@ in finite element programs.") (build-system cmake-build-system) (outputs '("out")) (native-inputs - `(("unzip" ,unzip))) + (list unzip)) (inputs `(("hdf5" ,hdf5) ;; FIXME: 'mkoctfile' fails with a linker error: @@ -5377,8 +5325,7 @@ FLANN is written in C++ and contains bindings for C, Octave and Python.") "1vi8dl6rccqiq1apmpwawyg2ywx6a1ic1d3cvkf2hlwk1z11fb0f")))) (build-system gnu-build-system) (inputs - `(("mpfr" ,mpfr) - ("readline" ,readline))) + (list mpfr readline)) (home-page "http://w-calc.sourceforge.net/index.php") (synopsis "Flexible command-line scientific calculator") (description "Wcalc is a very capable calculator. It has standard functions @@ -5406,10 +5353,7 @@ evaluates expressions using the standard order of operations.") (native-inputs `(("gettext" ,gettext-minimal) ("qtbase" ,qtbase-5) ("qttools" ,qttools))) - (inputs `(("libx11" ,libx11) - ("zlib" ,zlib) - ("libpng" ,libpng) - ("gsl" ,gsl))) + (inputs (list libx11 zlib libpng gsl)) ;; The upstream project file ("XaoS.pro") and the Makefile it generates are ;; not enough for this package to install properly. These phases fix that. (arguments @@ -5619,8 +5563,7 @@ structured and unstructured grid problems."))) "0vr8c1mz1k6mz0sgh6n3scl5c3a71iqmy5fnydrgq504icj4vym4")))) (build-system gnu-build-system) (inputs - `(("zlib" ,zlib) - ("hdf5" ,hdf5-1.8))) + (list zlib hdf5-1.8)) (home-page "http://matio.sourceforge.net/") (synopsis "Library for reading and writing MAT files") (description "Matio is a library for reading and writing MAT files. It @@ -5710,7 +5653,7 @@ instruction sets. Thus, an application written with Vc can be compiled for: "1rllzcfwc042c336mhq262a8ha90x6afq30kvk60r7i4761j4yjm")))) (build-system gnu-build-system) (inputs - `(("openlibm" ,openlibm))) + (list openlibm)) (arguments `(#:tests? #f ; no tests #:phases @@ -5772,9 +5715,8 @@ Longest Commons Subsequence of a set of strings.") (invoke "./configure" (string-append "--prefix=" (assoc-ref outputs "out")))))))) - (inputs `(("scm" ,scm))) - (native-inputs `(("unzip" ,unzip) - ("texinfo" ,texinfo))) + (inputs (list scm)) + (native-inputs (list unzip texinfo)) (synopsis "Symbolic mathematics system") (description "GNU JACAL is an interactive symbolic mathematics program based on Scheme. It manipulate and simplify a range of mathematical expressions such @@ -5902,9 +5844,9 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.") ("ocaml" ,ocaml) ("ocaml-findlib" ,ocaml-findlib))) (propagated-inputs - `(("ocaml-zarith" ,ocaml-zarith))) + (list ocaml-zarith)) (inputs - `(("z3" ,z3))))) + (list z3)))) (define-public elpa (package @@ -6012,7 +5954,7 @@ symmetric matrices.") (build-system cmake-build-system) (home-page "https://github.com/elemental/Elemental") (native-inputs - `(("gfortran" ,gfortran))) + (list gfortran)) (inputs `(("blas" ,openblas) ("gfortran:lib" ,gfortran "lib") @@ -6065,10 +6007,7 @@ reduction.") (base32 "1xgx3cd57vc7gbjic24j1q2za6j3ybz6nk4afvvpbwsf33xnlf4v")))) (inputs - `(("boost" ,boost) - ("glu" ,glu) - ("mesa" ,mesa) - ("qtbase" ,qtbase-5))) + (list boost glu mesa qtbase-5)) (build-system cmake-build-system) (synopsis "Toolset for the mCRL2 formal specification language") (description @@ -6086,7 +6025,7 @@ analysed.") (inherit mcrl2) (name "mcrl2-minimal") (inputs - `(("boost" ,boost))) + (list boost)) (arguments '(#:configure-flags '("-DMCRL2_ENABLE_GUI_TOOLS=OFF"))))) @@ -6250,8 +6189,8 @@ easily be incorporated into existing simulation codes.") (base32 "0nx4sqhmi126m14myzm7syv2053harav9snl0a247wnkcgs5rxrv")))) (inputs - `(("lapack" ,lapack) - ,@(package-inputs sundials))) + (modify-inputs (package-inputs sundials) + (prepend lapack))) (arguments (substitute-keyword-arguments (package-arguments sundials) ((#:configure-flags flags '()) @@ -6329,14 +6268,9 @@ linear algebra primitives specifically targeting graph analytics.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("gmp" ,gmp) - ("metis" ,metis) - ("openblas" ,openblas) - ("python" ,python) - ("superlu" ,superlu))) + (list gmp metis openblas python superlu)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "DUNE, the Distributed and Unified Numerics Environment is a @@ -6367,14 +6301,11 @@ Differences} (FD).") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ;; Optional - ("openblas" ,openblas) - ("gmp" ,gmp) - ("python" ,python))) + (list dune-common + ;; Optional + openblas gmp python)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "DUNE, the Distributed and Unified Numerics Environment is a @@ -6409,10 +6340,9 @@ This package contains the basic DUNE geometry classes.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common))) + (list dune-common)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "DUNE, the Distributed and Unified Numerics Environment is a @@ -6444,17 +6374,16 @@ This package contains the DUNE UG grid classes.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ("dune-geometry" ,dune-geometry) - ("gmp" ,gmp) - ("metis" ,metis) - ("openblas" ,openblas) - ("python" ,python))) + (list dune-common + dune-geometry + gmp + metis + openblas + python)) (propagated-inputs - `(("dune-uggrid" ,dune-uggrid))) + (list dune-uggrid)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "DUNE, the Distributed and Unified Numerics Environment is a @@ -6500,17 +6429,16 @@ This package contains the basic DUNE grid classes.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ;; Optional - ("metis" ,metis) - ("suitesparse" ,suitesparse) - ("superlu" ,superlu) - ("openblas" ,openblas) - ("gmp" ,gmp) - ("python" ,python))) + (list dune-common + ;; Optional + metis + suitesparse + superlu + openblas + gmp + python)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "DUNE, the Distributed and Unified Numerics Environment is a @@ -6558,15 +6486,14 @@ aggregation-based algebraic multigrid.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ("dune-geometry" ,dune-geometry) - ;; Optional - ("metis" ,metis) - ("superlu" ,superlu) - ("gmp" ,gmp))) + (list dune-common + dune-geometry + ;; Optional + metis + superlu + gmp)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") ; TODO (description "This DUNE module provides interface and implementation for @@ -6611,19 +6538,18 @@ assemble global function spaces on finite-element grids.") (string-append (assoc-ref inputs "dune-grid") "/share")) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ("dune-geometry" ,dune-geometry) - ("dune-grid" ,dune-grid) - ;; Optional - ("metis" ,metis) - ("openblas" ,openblas) - ("python" ,python) - ("superlu" ,superlu) - ("gmp" ,gmp) - ("zlib" ,zlib))) + (list dune-common + dune-geometry + dune-grid + ;; Optional + metis + openblas + python + superlu + gmp + zlib)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "ALUGrid is an adaptive, loadbalancing, unstructured @@ -6653,16 +6579,15 @@ cubes.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ("dune-geometry" ,dune-geometry) - ("dune-grid" ,dune-grid) - ;; Optional - ("metis" ,metis) - ("openblas" ,openblas) - ("gmp" ,gmp))) + (list dune-common + dune-geometry + dune-grid + ;; Optional + metis + openblas + gmp)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "http://numerik.mi.fu-berlin.de/dune-subgrid/index.php") (synopsis "Distributed and Unified Numerics Environment") (description "The dune-subgrid module marks elements of @@ -6693,16 +6618,15 @@ provides the full grid interface including adaptive mesh refinement.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ;; Optional - ("openblas" ,openblas) - ("python" ,python) - ("metis" ,metis) - ("superlu" ,superlu) - ("gmp" ,gmp))) + (list dune-common + ;; Optional + openblas + python + metis + superlu + gmp)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "TypeTree is a template library for constructing and @@ -6738,20 +6662,19 @@ operating on statically typed trees of objects.") (lambda* (#:key make-flags #:allow-other-keys) (apply invoke "make" "build_tests" make-flags)))))) (inputs - `(("dune-common" ,dune-common) - ("dune-istl" ,dune-istl) - ("dune-localfunctions" ,dune-localfunctions) - ("dune-grid" ,dune-grid) - ("dune-geometry" ,dune-geometry) - ("dune-typetree" ,dune-typetree) - ("openblas" ,openblas) - ("metis" ,metis) - ("python" ,python) - ("superlu" ,superlu) - ("gmp" ,gmp))) + (list dune-common + dune-istl + dune-localfunctions + dune-grid + dune-geometry + dune-typetree + openblas + metis + python + superlu + gmp)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Distributed and Unified Numerics Environment") (description "The dune-functions module provides an abstraction layer for @@ -6777,23 +6700,22 @@ implemented as callable objects, and bases of finite element spaces.") (build-system cmake-build-system) (arguments '(#:tests? #f)) ; XXX: the tests cannot be compiled (inputs - `(("dune-common" ,dune-common) - ("dune-istl" ,dune-istl) - ("dune-localfunctions" ,dune-localfunctions) - ("dune-geometry" ,dune-geometry) - ("dune-grid" ,dune-grid) - ("dune-typetree" ,dune-typetree) - ("dune-functions" ,dune-functions) - ;; Optional - ("openblas" ,openblas) - ("eigen" ,eigen) - ("metis" ,metis) - ("python" ,python) - ("superlu" ,superlu) - ("gmp" ,gmp))) + (list dune-common + dune-istl + dune-localfunctions + dune-geometry + dune-grid + dune-typetree + dune-functions + ;; Optional + openblas + eigen + metis + python + superlu + gmp)) (native-inputs - `(("gfortran" ,gfortran) - ("pkg-config" ,pkg-config))) + (list gfortran pkg-config)) (home-page "https://dune-project.org/") (synopsis "Differential equations solver toolbox") (description "PDELab is a partial differential equations solver toolbox @@ -6867,7 +6789,7 @@ built on top of DUNE, the Distributed and Unified Numerics Environment.") (base32 "0h4xj6pyyac79ka5ibqjilfa3s9j3yxnzgpwc57b54kfh2bj3447")))) (build-system gnu-build-system) (inputs - `(("python2" ,python-2))) + (list python-2)) (arguments `(#:tests? #f ; no tests #:phases @@ -6958,7 +6880,7 @@ management via the GIMPS project's Primenet server.") (append '("formats.txt" "README" "schreier.txt") (find-files "." "\\.pdf$"))))))))) (inputs - `(("gmp" ,gmp))) ;for sumlines + (list gmp)) ;for sumlines (home-page "https://pallini.di.uniroma1.it/") (synopsis "Library for graph automorphisms") (description "@code{nauty} (No AUTomorphisms, Yes?) is a set of @@ -6989,10 +6911,9 @@ compiled against the nauty library.") "1j5aji1g2vmdvc0gqz45n2ll2l2f6czca04wiyfl5g3sm3a6vhvb")))) (build-system gnu-build-system) (native-inputs - `(("m4" ,m4))) + (list m4)) (inputs - `(("glpk" ,glpk) - ("gmp" ,gmp))) + (list glpk gmp)) (home-page "https://www.bugseng.com/parma-polyhedra-library") (synopsis "Parma Polyhedra Library for computations with polyhedra") @@ -7028,8 +6949,8 @@ functions.") (base32 "0vh7cd1915bjqzkdp3sk25ngy8cq624mkh8c53c5bnzk357kb0fk")))) (build-system cmake-build-system) - (inputs `(("qtbase" ,qtbase-5))) - (native-inputs `(("qttools" ,qttools))) + (inputs (list qtbase-5)) + (native-inputs (list qttools)) (arguments `(#:phases (modify-phases %standard-phases @@ -7111,14 +7032,14 @@ researchers and developers alike to get started on SAT.") ("doxygen" ,doxygen) ("file" ,file))) (inputs - `(("gmp" ,gmp) - ("mpfr" ,mpfr) - ("libxml2" ,libxml2) - ("curl" ,curl) - ("icu4c" ,icu4c) - ("gnuplot" ,gnuplot) - ("readline" ,readline) - ("libiconv" ,libiconv))) + (list gmp + mpfr + libxml2 + curl + icu4c + gnuplot + readline + libiconv)) (arguments `(#:phases (modify-phases %standard-phases @@ -7154,19 +7075,19 @@ cli.") (base32 "1nrx7gp6f1yalbdda1gb97azhbr4xclq2xf08vvbvsk8jfd6fd2v")))) (build-system glib-or-gtk-build-system) (native-inputs - `(("pkg-config" ,pkg-config) - ("intltool" ,intltool) - ("automake" ,automake) - ("autoconf" ,autoconf) - ("libtool" ,libtool) - ("file" ,file))) + (list pkg-config + intltool + automake + autoconf + libtool + file)) (inputs - `(("gmp" ,gmp) - ("mpfr" ,mpfr) - ("libqalculate" ,libqalculate) - ("libxml2" ,libxml2) - ("glib" ,glib) - ("gtk+" ,gtk+))) + (list gmp + mpfr + libqalculate + libxml2 + glib + gtk+)) (arguments `(#:phases (modify-phases %standard-phases @@ -7231,21 +7152,11 @@ numeric differences and differences in numeric formats.") "0pfsiddnk26f384wbazfpgzh1n1ibf3xq101q74mxvczi7z0a791")))) (build-system ocaml-build-system) (native-inputs - `(("autoconf" ,autoconf) - ("automake" ,automake) - ("coq" ,coq) - ("ocaml" ,ocaml) - ("which" ,which))) + (list autoconf automake coq ocaml which)) (propagated-inputs - `(("camlzip" ,camlzip) - ("ocaml-graph" ,ocaml-graph) - ("ocaml-menhir" ,ocaml-menhir) - ("ocaml-num" ,ocaml-num) - ("ocaml-zarith" ,ocaml-zarith))) + (list camlzip ocaml-graph ocaml-menhir ocaml-num ocaml-zarith)) (inputs - `(("coq-flocq" ,coq-flocq) - ("emacs-minimal" ,emacs-minimal) - ("zlib" ,zlib))) + (list coq-flocq emacs-minimal zlib)) (arguments `(#:phases (modify-phases %standard-phases @@ -7304,14 +7215,14 @@ of C, Java, or Ada programs.") (setenv "CONFIG_SHELL" (search-input-file inputs "/bin/sh"))))))) (inputs - `(("gmp" ,gmp))) + (list gmp)) (propagated-inputs - `(("ocaml-biniou" ,ocaml-biniou) - ("ocaml-easy-format" ,ocaml-easy-format) - ("ocaml-graph" ,ocaml-graph) - ("ocaml-yojson" ,ocaml-yojson) - ("ocaml-zarith" ,ocaml-zarith) - ("why3" ,why3))) + (list ocaml-biniou + ocaml-easy-format + ocaml-graph + ocaml-yojson + ocaml-zarith + why3)) (native-search-paths (list (search-path-specification (variable "FRAMAC_SHARE") @@ -7355,8 +7266,7 @@ projects up to the certification of critical software.") (invoke "make" "-j" (number->string (parallel-job-count)) "blitz-doc")))))) (native-inputs - `(("python" ,python) - ("texinfo" ,texinfo))) + (list python texinfo)) (synopsis "C++ template class library for multidimensional arrays") (description "Blitz++ is a C++ template class library that provides high-performance multidimensional array containers for scientific computing.") @@ -7384,8 +7294,7 @@ high-performance multidimensional array containers for scientific computing.") (patches (search-patches "fxdiv-system-libraries.patch")))) (build-system cmake-build-system) (inputs - `(("googletest" ,googletest) - ("googlebenchmark" ,googlebenchmark))) + (list googletest googlebenchmark)) (synopsis "C++ library for division via fixed-point multiplication by inverse") (description @@ -7437,11 +7346,9 @@ when an application performs repeated divisions by the same divisor.") file)))) (find-files include "\\.py$")))))))) (native-inputs - `(("python-wrapper" ,python-wrapper))) + (list python-wrapper)) (inputs - `(("psimd" ,psimd) - ("googletest" ,googletest) - ("googlebenchmark" ,googlebenchmark))) + (list psimd googletest googlebenchmark)) (synopsis "C++ library for half-precision floating point formats") (description "This header-only C++ library implements conversion to and from |