Add GiNaC
svn path=/nixpkgs/trunk/; revision=34403
This commit is contained in:
parent
6b6dba1bce
commit
3640b0c1e9
24
pkgs/applications/science/math/ginac/default.nix
Normal file
24
pkgs/applications/science/math/ginac/default.nix
Normal file
@ -0,0 +1,24 @@
|
|||||||
|
{ stdenv, fetchurl, cln, pkgconfig, readline }:
|
||||||
|
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
name = "ginac-1.6.2";
|
||||||
|
|
||||||
|
src = fetchurl {
|
||||||
|
url = "${meta.homepage}/${name}.tar.bz2";
|
||||||
|
sha256 = "1pivcqqaf142l6vrj2azq6dxrcyzhag4za2dwicb4gsb09ax4d0g";
|
||||||
|
};
|
||||||
|
|
||||||
|
propagatedBuildInputs = [ cln ];
|
||||||
|
buildInputs = [ readline ];
|
||||||
|
|
||||||
|
buildNativeInputs = [ pkgconfig ];
|
||||||
|
|
||||||
|
configureFlags = "--disable-rpath";
|
||||||
|
|
||||||
|
meta = {
|
||||||
|
description = "GiNaC is Not a CAS";
|
||||||
|
homepage = http://www.ginac.de/;
|
||||||
|
platforms = stdenv.lib.platforms.all;
|
||||||
|
maintainers = [ stdenv.lib.maintainers.urkud ];
|
||||||
|
};
|
||||||
|
}
|
@ -8287,6 +8287,8 @@ let
|
|||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
|
ginac = callPackage ../applications/science/math/ginac { };
|
||||||
|
|
||||||
hol = callPackage ../applications/science/logic/hol { };
|
hol = callPackage ../applications/science/logic/hol { };
|
||||||
|
|
||||||
hol_light = callPackage ../applications/science/logic/hol_light {
|
hol_light = callPackage ../applications/science/logic/hol_light {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user