2017-07-13 17:34:45 +00:00
|
|
|
{ stdenv, fetchurl, cln, pkgconfig, readline, gmp, python }:
|
2012-06-09 13:09:41 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-03-08 16:40:52 +00:00
|
|
|
name = "ginac-1.7.4";
|
2012-06-09 13:09:41 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2013-09-07 23:59:45 +00:00
|
|
|
url = "${meta.homepage}/${name}.tar.bz2";
|
2018-03-08 16:40:52 +00:00
|
|
|
sha256 = "1vvqv73yk9klbq0mz239zzw77rlp72qcvzci4j1v6rafvji1616n";
|
2012-06-09 13:09:41 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ cln ];
|
2013-09-07 23:59:45 +00:00
|
|
|
|
|
|
|
buildInputs = [ readline ] ++ stdenv.lib.optional stdenv.isDarwin gmp;
|
2012-06-09 13:09:41 +00:00
|
|
|
|
2017-07-13 17:34:45 +00:00
|
|
|
nativeBuildInputs = [ pkgconfig python ];
|
|
|
|
|
|
|
|
preConfigure = "patchShebangs ginsh";
|
2012-06-09 13:09:41 +00:00
|
|
|
|
|
|
|
configureFlags = "--disable-rpath";
|
|
|
|
|
2013-09-07 23:59:45 +00:00
|
|
|
meta = with stdenv.lib; {
|
2012-06-09 13:09:41 +00:00
|
|
|
description = "GiNaC is Not a CAS";
|
2013-09-07 23:59:45 +00:00
|
|
|
homepage = http://www.ginac.de/;
|
2017-03-27 17:11:17 +00:00
|
|
|
maintainers = with maintainers; [ lovek323 ];
|
2013-09-07 23:59:45 +00:00
|
|
|
platforms = platforms.all;
|
2012-06-09 13:09:41 +00:00
|
|
|
};
|
|
|
|
}
|