diff options
Diffstat (limited to 'pkgs/servers/sql/virtuoso/6.x.nix')
-rw-r--r-- | pkgs/servers/sql/virtuoso/6.x.nix | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/servers/sql/virtuoso/6.x.nix b/pkgs/servers/sql/virtuoso/6.x.nix new file mode 100644 index 000000000000..9453b8d2cdb2 --- /dev/null +++ b/pkgs/servers/sql/virtuoso/6.x.nix @@ -0,0 +1,35 @@ +{ stdenv, fetchurl, libxml2, openssl, readline, gawk }: + +stdenv.mkDerivation rec { + name = "virtuoso-opensource-6.1.6"; + + src = fetchurl { + url = "mirror://sourceforge/virtuoso/${name}.tar.gz"; + sha256 = "0dx0lp7cngdchi0772hp93zzn6sdap7z8s3vay3mzb9xgf0sdgy6"; + }; + + buildInputs = [ libxml2 openssl readline gawk ]; + + CPP = "${stdenv.gcc}/bin/gcc -E"; + + configureFlags = " + --enable-shared --disable-all-vads --with-readline=${readline} + --disable-hslookup --disable-wbxml2 --without-iodbc + --enable-openssl=${openssl} + "; + + postInstall='' + echo Moving documentation + mkdir -pv $out/share/doc + mv -v $out/share/virtuoso/doc $out/share/doc/${name} + echo Removing jars and empty directories + find $out -name "*.a" -delete -o -name "*.jar" -delete -o -type d -empty -delete + ''; + + meta = with stdenv.lib; { + description = "SQL/RDF database used by, e.g., KDE-nepomuk"; + homepage = http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/; + platforms = platforms.all; + maintainers = [ maintainers.urkud ]; + }; +} |