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