2018-07-21 02:44:44 +02:00
|
|
|
{ stdenv, fetchurl, file, openssl, mlton
|
2017-09-27 16:44:35 +02:00
|
|
|
, mysql, postgresql, sqlite, gcc
|
2015-09-09 14:32:23 +02:00
|
|
|
}:
|
2010-08-24 10:25:07 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2015-09-09 14:32:23 +02:00
|
|
|
name = "urweb-${version}";
|
2017-08-06 04:28:19 +02:00
|
|
|
version = "20170720";
|
2010-08-24 10:25:07 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2010-10-26 02:22:44 +02:00
|
|
|
url = "http://www.impredicative.com/ur/${name}.tgz";
|
2017-08-06 04:28:19 +02:00
|
|
|
sha256 = "17qh9mcmlhbv6r52yij8l9ik7j7x6x7c09lf6pznnbdh4sf8p5wb";
|
2010-08-24 10:25:07 +02:00
|
|
|
};
|
|
|
|
|
2017-11-01 23:07:33 +01:00
|
|
|
buildInputs = [ openssl mlton mysql.connector-c postgresql sqlite ];
|
2010-08-24 10:25:07 +02:00
|
|
|
|
2011-07-15 20:54:43 +02:00
|
|
|
prePatch = ''
|
2010-08-24 10:25:07 +02:00
|
|
|
sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure
|
2015-09-09 14:32:23 +02:00
|
|
|
'';
|
2010-08-24 10:25:07 +02:00
|
|
|
|
2018-07-25 23:44:21 +02:00
|
|
|
configureFlags = [ "--with-openssl=${openssl.dev}" ];
|
2015-09-21 10:45:22 +02:00
|
|
|
|
2015-09-09 14:32:23 +02:00
|
|
|
preConfigure = ''
|
2017-09-28 05:59:18 +02:00
|
|
|
export PGHEADER="${postgresql}/include/libpq-fe.h";
|
2017-11-01 23:07:33 +01:00
|
|
|
export MSHEADER="${mysql.connector-c}/include/mysql/mysql.h";
|
2015-10-13 22:30:30 +02:00
|
|
|
export SQHEADER="${sqlite.dev}/include/sqlite3.h";
|
2011-07-15 20:54:43 +02:00
|
|
|
|
2017-09-27 16:44:35 +02:00
|
|
|
export CC="${gcc}/bin/gcc";
|
2015-09-09 14:32:23 +02:00
|
|
|
export CCARGS="-I$out/include \
|
2017-09-27 16:44:35 +02:00
|
|
|
-L${openssl.out}/lib \
|
2017-11-01 23:07:33 +01:00
|
|
|
-L${mysql.connector-c}/lib \
|
2015-10-14 05:47:54 +02:00
|
|
|
-L${postgresql.lib}/lib \
|
2015-10-13 22:30:30 +02:00
|
|
|
-L${sqlite.out}/lib";
|
2015-09-09 14:32:23 +02:00
|
|
|
'';
|
2011-01-24 16:27:07 +01:00
|
|
|
|
2015-09-09 14:32:23 +02:00
|
|
|
# Be sure to keep the statically linked libraries
|
2010-11-15 18:47:36 +01:00
|
|
|
dontDisableStatic = true;
|
|
|
|
|
2010-08-24 10:25:07 +02:00
|
|
|
meta = {
|
2015-09-09 14:32:23 +02:00
|
|
|
description = "Advanced purely-functional web programming language";
|
|
|
|
homepage = "http://www.impredicative.com/ur/";
|
|
|
|
license = stdenv.lib.licenses.bsd3;
|
2017-09-27 16:44:35 +02:00
|
|
|
platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin;
|
2017-05-16 20:43:23 +02:00
|
|
|
maintainers = [ stdenv.lib.maintainers.thoughtpolice stdenv.lib.maintainers.sheganinans ];
|
2010-08-24 10:25:07 +02:00
|
|
|
};
|
|
|
|
}
|