2021-03-25 15:30:07 +01:00
|
|
|
{ lib, stdenv, fetchurl, cln, pkg-config, readline, gmp, python3 }:
|
2012-06-09 15:09:41 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2021-08-21 11:20:15 +02:00
|
|
|
pname = "ginac";
|
|
|
|
version = "1.8.1";
|
2012-06-09 15:09:41 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2021-08-21 11:20:15 +02:00
|
|
|
url = "https://www.ginac.de/ginac-${version}.tar.bz2";
|
2021-08-10 09:09:09 +02:00
|
|
|
sha256 = "sha256-8WldvWsYcGHvP7pQdkjJ1tukOPczsFjBb5J4y9z14as=";
|
2012-06-09 15:09:41 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ cln ];
|
2013-09-08 01:59:45 +02:00
|
|
|
|
2021-08-21 11:20:15 +02:00
|
|
|
buildInputs = [ readline ]
|
|
|
|
++ lib.optional stdenv.isDarwin gmp;
|
2012-06-09 15:09:41 +02:00
|
|
|
|
2021-03-25 15:30:07 +01:00
|
|
|
nativeBuildInputs = [ pkg-config python3 ];
|
|
|
|
|
|
|
|
strictDeps = true;
|
2017-07-13 19:34:45 +02:00
|
|
|
|
2021-08-21 11:20:15 +02:00
|
|
|
preConfigure = ''
|
|
|
|
patchShebangs ginsh
|
|
|
|
'';
|
2012-06-09 15:09:41 +02:00
|
|
|
|
2018-07-25 23:44:21 +02:00
|
|
|
configureFlags = [ "--disable-rpath" ];
|
2012-06-09 15:09:41 +02:00
|
|
|
|
2021-01-11 08:54:33 +01:00
|
|
|
meta = with lib; {
|
2012-06-09 15:09:41 +02:00
|
|
|
description = "GiNaC is Not a CAS";
|
2021-08-21 11:20:15 +02:00
|
|
|
homepage = "https://www.ginac.de/";
|
2017-03-27 19:11:17 +02:00
|
|
|
maintainers = with maintainers; [ lovek323 ];
|
2018-08-20 20:02:23 +02:00
|
|
|
license = licenses.gpl2;
|
2021-08-21 11:20:15 +02:00
|
|
|
platforms = platforms.all;
|
2012-06-09 15:09:41 +02:00
|
|
|
};
|
|
|
|
}
|