iml: init at 1.0.5

1 files changed, 20 insertions, 0 deletions

diff --git a/pkgs/development/libraries/iml/default.nix b/pkgs/development/libraries/iml/default.nix
new file mode 100644
index 0000000000000..2ae8aad5ffc46
--- /dev/null
+++ b/pkgs/development/libraries/iml/default.nix
@@ -0,0 +1,20 @@
+{stdenv, fetchurl, gmp, atlas}:
+stdenv.mkDerivation rec {
+  name = "iml-${version}";
+  version = "1.0.5";
+  src = fetchurl {
+    url = "http://www.cs.uwaterloo.ca/~astorjoh/iml-${version}.tar.bz2";
+    sha256 = "0akwhhz9b40bz6lrfxpamp7r7wkk48p455qbn04mfnl9a1l6db8x";
+  };
+  buildInputs = [gmp atlas];
+  configureFlags = "--with-gmp-include=${gmp.dev}/include --with-gmp-lib=${gmp}/lib";
+  meta = {
+    inherit version;
+    description = ''Algorithms for computing exact solutions to dense systems of linear equations over the integers'';
+    license = stdenv.lib.licenses.gpl2Plus;
+    maintainers = [stdenv.lib.maintainers.raskin];
+    platforms = stdenv.lib.platforms.linux;
+    homepage = "https://cs.uwaterloo.ca/~astorjoh/iml.html";
+    updateWalker = true;
+  };
+}