2020-03-31 15:47:18 +01:00
|
|
|
{stdenv, autoreconfHook, fetchurl, gmp, blas}:
|
2016-10-11 11:41:41 +01:00
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "iml";
|
2016-10-11 11:41:41 +01:00
|
|
|
version = "1.0.5";
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://www.cs.uwaterloo.ca/~astorjoh/iml-${version}.tar.bz2";
|
|
|
|
sha256 = "0akwhhz9b40bz6lrfxpamp7r7wkk48p455qbn04mfnl9a1l6db8x";
|
|
|
|
};
|
2018-05-07 20:48:08 +01:00
|
|
|
buildInputs = [
|
|
|
|
gmp
|
2020-03-31 15:47:18 +01:00
|
|
|
blas
|
2018-05-07 20:48:08 +01:00
|
|
|
];
|
|
|
|
nativeBuildInputs = [
|
|
|
|
autoreconfHook
|
|
|
|
];
|
|
|
|
configureFlags = [
|
|
|
|
"--with-gmp-include=${gmp.dev}/include"
|
|
|
|
"--with-gmp-lib=${gmp}/lib"
|
2020-03-31 15:47:18 +01:00
|
|
|
"--with-cblas=-lblas"
|
2018-05-07 20:48:08 +01:00
|
|
|
];
|
2016-10-11 11:41:41 +01:00
|
|
|
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];
|
2019-09-15 09:48:07 +01:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://cs.uwaterloo.ca/~astorjoh/iml.html";
|
2016-10-11 11:41:41 +01:00
|
|
|
updateWalker = true;
|
|
|
|
};
|
|
|
|
}
|