mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 15:15:36 +00:00
330c501be0
The pari update makes it necessary to disable a giac test that only fails because it directly tests the pari interface.
78 lines
2.6 KiB
Nix
78 lines
2.6 KiB
Nix
{ stdenv, fetchurl
|
|
, gmp, readline, libX11, tex, perl
|
|
, withThread ? true, libpthreadstubs
|
|
}:
|
|
|
|
assert withThread -> libpthreadstubs != null;
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "pari-${version}";
|
|
version = "2.11.0";
|
|
|
|
src = fetchurl {
|
|
url = "https://pari.math.u-bordeaux.fr/pub/pari/unix/${name}.tar.gz";
|
|
sha256 = "18f9yj8ffn3dxignbxj1x36771zbxy4js0r18mv6831ymb6cld9q";
|
|
};
|
|
|
|
buildInputs = [
|
|
gmp
|
|
readline
|
|
libX11
|
|
tex
|
|
perl
|
|
] ++ stdenv.lib.optionals withThread [
|
|
libpthreadstubs
|
|
];
|
|
|
|
configureScript = "./Configure";
|
|
configureFlags = [
|
|
"--with-gmp=${gmp.dev}"
|
|
"--with-readline=${readline.dev}"
|
|
] ++ stdenv.lib.optional stdenv.isDarwin "--host=x86_64-darwin"
|
|
++ stdenv.lib.optional withThread "--mt=pthread";
|
|
|
|
preConfigure = ''
|
|
export LD=$CC
|
|
'';
|
|
|
|
postConfigure = stdenv.lib.optionalString stdenv.isDarwin ''
|
|
echo 'echo x86_64-darwin' > config/arch-osname
|
|
'';
|
|
|
|
makeFlags = [ "all" ];
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "Computer algebra system for high-performance number theory computations";
|
|
longDescription = ''
|
|
PARI/GP is a widely used computer algebra system designed for fast
|
|
computations in number theory (factorizations, algebraic number theory,
|
|
elliptic curves...), but also contains a large number of other useful
|
|
functions to compute with mathematical entities such as matrices,
|
|
polynomials, power series, algebraic numbers etc., and a lot of
|
|
transcendental functions. PARI is also available as a C library to allow
|
|
for faster computations.
|
|
|
|
Originally developed by Henri Cohen and his co-workers (Université
|
|
Bordeaux I, France), PARI is now under the GPL and maintained by Karim
|
|
Belabas with the help of many volunteer contributors.
|
|
|
|
- PARI is a C library, allowing fast computations.
|
|
- gp is an easy-to-use interactive shell giving access to the
|
|
PARI functions.
|
|
- GP is the name of gp's scripting language.
|
|
- gp2c, the GP-to-C compiler, combines the best of both worlds
|
|
by compiling GP scripts to the C language and transparently loading
|
|
the resulting functions into gp. (gp2c-compiled scripts will typically
|
|
run 3 or 4 times faster.) gp2c currently only understands a subset
|
|
of the GP language.
|
|
'';
|
|
homepage = http://pari.math.u-bordeaux.fr;
|
|
downloadPage = http://pari.math.u-bordeaux.fr/download.html;
|
|
license = licenses.gpl2Plus;
|
|
maintainers = with maintainers; [ ertes raskin AndersonTorres ];
|
|
platforms = platforms.linux ++ platforms.darwin;
|
|
updateWalker = true;
|
|
};
|
|
}
|