From 59bd1ba586497ac6ec28b4f3b06d00b6597bd93f Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Tue, 17 Sep 2013 14:28:26 -0400
Subject: [PATCH] Add virtuoso 7

Signed-off-by: Shea Levy <shea@shealevy.com>
---
 .../sql/virtuoso/{default.nix => 6.x.nix}     |  0
 pkgs/servers/sql/virtuoso/7.x.nix             | 35 +++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  6 +++-
 3 files changed, 40 insertions(+), 1 deletion(-)
 rename pkgs/servers/sql/virtuoso/{default.nix => 6.x.nix} (100%)
 create mode 100644 pkgs/servers/sql/virtuoso/7.x.nix

diff --git a/pkgs/servers/sql/virtuoso/default.nix b/pkgs/servers/sql/virtuoso/6.x.nix
similarity index 100%
rename from pkgs/servers/sql/virtuoso/default.nix
rename to pkgs/servers/sql/virtuoso/6.x.nix
diff --git a/pkgs/servers/sql/virtuoso/7.x.nix b/pkgs/servers/sql/virtuoso/7.x.nix
new file mode 100644
index 000000000000..630095782fa4
--- /dev/null
+++ b/pkgs/servers/sql/virtuoso/7.x.nix
@@ -0,0 +1,35 @@
+{ stdenv, fetchurl, libxml2, openssl, readline, gawk }:
+
+stdenv.mkDerivation rec {
+  name = "virtuoso-opensource-7.0.0";
+
+  src = fetchurl {
+    url = "mirror://sourceforge/virtuoso/${name}.tar.gz";
+    sha256 = "1z0jdzayv45y57jj8kii6csqfjhswcs8s2krqqfhab54xy6gynbl";
+  };
+
+  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 ];
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 5f1b2debdb42..69dc1855de9a 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6239,7 +6239,11 @@ let
 
   axis2 = callPackage ../servers/http/tomcat/axis2 { };
 
-  virtuoso = callPackage ../servers/sql/virtuoso { };
+  virtuoso6 = callPackage ../servers/sql/virtuoso/6.x.nix { };
+
+  virtuoso7 = callPackage ../servers/sql/virtuoso/7.x.nix { };
+
+  virtuoso = virtuoso6;
 
   vsftpd = callPackage ../servers/ftp/vsftpd { };