tjh.dev
1{lib, stdenv, autoreconfHook, fetchurl, gmp, blas}:
2stdenv.mkDerivation rec {
3 pname = "iml";
4 version = "1.0.5";
5 src = fetchurl {
6 url = "http://www.cs.uwaterloo.ca/~astorjoh/iml-${version}.tar.bz2";
7 sha256 = "0akwhhz9b40bz6lrfxpamp7r7wkk48p455qbn04mfnl9a1l6db8x";
8 };
9 buildInputs = [
10 gmp
11 blas
12 ];
13 nativeBuildInputs = [
14 autoreconfHook
15 ];
16 configureFlags = [
17 "--with-gmp-include=${gmp.dev}/include"
18 "--with-gmp-lib=${gmp}/lib"
19 "--with-cblas=-lblas"
20 ];
21 meta = {
22 description = "Algorithms for computing exact solutions to dense systems of linear equations over the integers";
23 license = lib.licenses.gpl2Plus;
24 maintainers = [lib.maintainers.raskin];
25 platforms = lib.platforms.unix;
26 homepage = "https://cs.uwaterloo.ca/~astorjoh/iml.html";
27 };
28}