From 3640b0c1e9ba961835a8763ec755978a85c6b3dc Mon Sep 17 00:00:00 2001
From: "Yury G. Kudryashov" <urkud.urkud@gmail.com>
Date: Sat, 9 Jun 2012 13:09:41 +0000
Subject: [PATCH] Add GiNaC
svn path=/nixpkgs/trunk/; revision=34403
---
.../science/math/ginac/default.nix | 24 +++++++++++++++++++
pkgs/top-level/all-packages.nix | 4 +++-
2 files changed, 27 insertions(+), 1 deletion(-)
create mode 100644 pkgs/applications/science/math/ginac/default.nix
diff --git a/pkgs/applications/science/math/ginac/default.nix b/pkgs/applications/science/math/ginac/default.nix
new file mode 100644
index 00000000000..081d2bd6253
--- /dev/null
+++ b/pkgs/applications/science/math/ginac/default.nix
@@ -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 ];
+ };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index efa94f1d178..807a858b2b7 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -8284,8 +8284,10 @@ let
paths = [
texLive texLiveExtra
];
+ };
};
- };
+
+ ginac = callPackage ../applications/science/math/ginac { };
hol = callPackage ../applications/science/logic/hol { };