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