1{
2 lib,
3 stdenv,
4 fetchurl,
5 cln,
6 pkg-config,
7 readline,
8 gmp,
9 python3,
10}:
11
12stdenv.mkDerivation rec {
13 pname = "ginac";
14 version = "1.8.9";
15
16 src = fetchurl {
17 url = "https://www.ginac.de/ginac-${version}.tar.bz2";
18 sha256 = "sha256-bP1Gz043NpDhLRa3cteu0PXEM9qMfs0kd/LnNkg7tDk=";
19 };
20
21 propagatedBuildInputs = [ cln ];
22
23 buildInputs = [ readline ] ++ lib.optional stdenv.hostPlatform.isDarwin gmp;
24
25 nativeBuildInputs = [
26 pkg-config
27 python3
28 ];
29
30 strictDeps = true;
31
32 preConfigure = ''
33 patchShebangs ginsh
34 '';
35
36 configureFlags = [ "--disable-rpath" ];
37
38 meta = with lib; {
39 description = "GiNaC is Not a CAS";
40 homepage = "https://www.ginac.de/";
41 maintainers = with maintainers; [ lovek323 ];
42 license = licenses.gpl2;
43 platforms = platforms.all;
44 };
45}