2015-05-26 08:58:18 +02:00
|
|
|
{ lib, stdenv, fetchurl,
|
2021-01-19 07:50:56 +01:00
|
|
|
pkg-config, pure, glpk, gmp, libtool, libmysqlclient, libiodbc }:
|
2015-05-26 08:58:18 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
baseName = "glpk";
|
|
|
|
version = "0.5";
|
|
|
|
name = "pure-${baseName}-${version}";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://bitbucket.org/purelang/pure-lang/downloads/${name}.tar.gz";
|
|
|
|
sha256 = "5d6dc11706985dda02d96d481ea5f164c9e95ee446432fc4fc3d0db61a076346";
|
|
|
|
};
|
|
|
|
|
|
|
|
glpkWithExtras = lib.overrideDerivation glpk (attrs: {
|
2019-09-22 09:38:09 +02:00
|
|
|
propagatedBuildInputs = [ gmp libtool libmysqlclient libiodbc ];
|
2015-05-26 08:58:18 +02:00
|
|
|
|
2016-09-10 17:36:59 +02:00
|
|
|
CPPFLAGS = "-I${gmp.dev}/include";
|
|
|
|
|
2015-05-26 08:58:18 +02:00
|
|
|
preConfigure = ''
|
|
|
|
substituteInPlace configure \
|
2019-09-22 09:38:09 +02:00
|
|
|
--replace /usr/include/mysql ${libmysqlclient}/include/mysql
|
2015-05-26 08:58:18 +02:00
|
|
|
'';
|
|
|
|
configureFlags = [ "--enable-dl"
|
|
|
|
"--enable-odbc"
|
|
|
|
"--enable-mysql"
|
|
|
|
"--with-gmp=yes" ];
|
|
|
|
});
|
|
|
|
|
2021-01-19 07:50:56 +01:00
|
|
|
nativeBuildInputs = [ pkg-config ];
|
2015-05-26 08:58:18 +02:00
|
|
|
propagatedBuildInputs = [ pure glpkWithExtras ];
|
2019-10-27 14:03:25 +01:00
|
|
|
makeFlags = [ "libdir=$(out)/lib" "prefix=$(out)/" ];
|
2015-05-26 08:58:18 +02:00
|
|
|
setupHook = ../generic-setup-hook.sh;
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "GLPK interface for the Pure Programming Language";
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "http://puredocs.bitbucket.org/pure-glpk.html";
|
2021-01-23 18:15:07 +01:00
|
|
|
license = lib.licenses.gpl3Plus;
|
|
|
|
platforms = lib.platforms.linux;
|
|
|
|
maintainers = with lib.maintainers; [ asppsa ];
|
2015-05-26 08:58:18 +02:00
|
|
|
};
|
|
|
|
}
|