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