diff options
Diffstat (limited to 'pkgs/servers/sql/virtuoso/default.nix')
-rw-r--r-- | pkgs/servers/sql/virtuoso/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/servers/sql/virtuoso/default.nix b/pkgs/servers/sql/virtuoso/default.nix new file mode 100644 index 00000000000..6730ce26fcd --- /dev/null +++ b/pkgs/servers/sql/virtuoso/default.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchurl, libxml2, openssl, readline }: + +stdenv.mkDerivation rec { + name = "virtuoso-opensource-6.1.0"; + + src = fetchurl { + url = "mirror://sf/virtuoso/${name}.tar.gz"; + sha256 = "1kwsb4j7k1a4mnbpjzn4hpg3bwx0bjndan5x8ffpagk5ardqi5b4"; + }; + + buildInputs = [ libxml2 openssl readline ]; + + 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 Move documentation + mkdir $out/share/doc + mv $out/share/virtuoso/doc $out/share/doc/${name} + find $out -name "*.a" -delete -o -name "*.jar" -delete -o -type d -empty -delete + ''; +} |