Merge pull request #135052 from SuperSandro2000/ginac

This commit is contained in:
Sandro 2021-08-21 13:51:14 +02:00 committed by GitHub
commit 4d71805edd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,30 +1,34 @@
{ lib, stdenv, fetchurl, cln, pkg-config, readline, gmp, python3 }:
stdenv.mkDerivation rec {
name = "ginac-1.8.1";
pname = "ginac";
version = "1.8.1";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
url = "https://www.ginac.de/ginac-${version}.tar.bz2";
sha256 = "sha256-8WldvWsYcGHvP7pQdkjJ1tukOPczsFjBb5J4y9z14as=";
};
propagatedBuildInputs = [ cln ];
buildInputs = [ readline ] ++ lib.optional stdenv.isDarwin gmp;
buildInputs = [ readline ]
++ lib.optional stdenv.isDarwin gmp;
nativeBuildInputs = [ pkg-config python3 ];
strictDeps = true;
preConfigure = "patchShebangs ginsh";
preConfigure = ''
patchShebangs ginsh
'';
configureFlags = [ "--disable-rpath" ];
meta = with lib; {
description = "GiNaC is Not a CAS";
homepage = "https://www.ginac.de/";
homepage = "https://www.ginac.de/";
maintainers = with maintainers; [ lovek323 ];
license = licenses.gpl2;
platforms = platforms.all;
platforms = platforms.all;
};
}