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