2016-08-01 16:46:30 +01:00
|
|
|
{ stdenv, lib, fetchurl, file, openssl, mlton
|
2015-09-09 13:32:23 +01:00
|
|
|
, mysql, postgresql, sqlite
|
|
|
|
}:
|
2010-08-24 09:25:07 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2015-09-09 13:32:23 +01:00
|
|
|
name = "urweb-${version}";
|
2016-07-14 16:14:15 +01:00
|
|
|
version = "20160621";
|
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";
|
2016-07-14 16:14:15 +01:00
|
|
|
sha256 = "08km96hli5yp754nsxxjzih2la0m89j5wc2cq12rkas43nqqgr65";
|
2010-08-24 09:25:07 +01:00
|
|
|
};
|
|
|
|
|
2016-08-01 16:46:30 +01:00
|
|
|
buildInputs = [ openssl mlton mysql.client 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
|
|
|
|
2016-04-16 18:44:32 +01:00
|
|
|
configureFlags = "--with-openssl=${openssl.dev}";
|
2015-09-21 09:45:22 +01:00
|
|
|
|
2015-09-09 13:32:23 +01:00
|
|
|
preConfigure = ''
|
|
|
|
export PGHEADER="${postgresql}/include/libpq-fe.h";
|
2016-08-01 16:46:30 +01:00
|
|
|
export MSHEADER="${lib.getDev mysql.client}/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
|
|
|
|
2015-09-09 13:32:23 +01:00
|
|
|
export CCARGS="-I$out/include \
|
2016-08-01 16:46:30 +01:00
|
|
|
-L${lib.getLib mysql.client}/lib/mysql \
|
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;
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
2010-08-24 09:25:07 +01:00
|
|
|
};
|
|
|
|
}
|