summary refs log tree commit diff
path: root/pkgs/servers/sql/virtuoso/default.nix
diff options
context:
space:
mode:
authorYury G. Kudryashov <urkud.urkud@gmail.com>2011-08-10 09:43:20 +0000
committerYury G. Kudryashov <urkud.urkud@gmail.com>2011-08-10 09:43:20 +0000
commit59b7072038b85a53367ecff96df031053d83f115 (patch)
tree7f5c8c216a8f2dc0dd3be32785cc9570fe93c2fa /pkgs/servers/sql/virtuoso/default.nix
parent7f820c00f10c216fa058908e08adefb650ee4645 (diff)
downloadnixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar.gz
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar.bz2
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar.lz
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar.xz
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.tar.zst
nixpkgs-59b7072038b85a53367ecff96df031053d83f115.zip
virtuoso-6.1.3
svn path=/nixpkgs/trunk/; revision=28455
Diffstat (limited to 'pkgs/servers/sql/virtuoso/default.nix')
-rw-r--r--pkgs/servers/sql/virtuoso/default.nix8
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/servers/sql/virtuoso/default.nix b/pkgs/servers/sql/virtuoso/default.nix
index b302dc69714..20c3d1f2cf9 100644
--- a/pkgs/servers/sql/virtuoso/default.nix
+++ b/pkgs/servers/sql/virtuoso/default.nix
@@ -1,11 +1,11 @@
 { stdenv, fetchurl, libxml2, openssl, readline, gawk }:
 
 stdenv.mkDerivation rec {
-  name = "virtuoso-opensource-6.1.1";
+  name = "virtuoso-opensource-6.1.3";
 
   src = fetchurl {
     url = "mirror://sf/virtuoso/${name}.tar.gz";
-    sha256 = "1sd70j9i26ml16lig9r9lmrdf5q0kybq71r6vzzzc5v5jxjz0l7w";
+    sha256 = "0rj629qjsibpllazngbhzhsh90x6nidpn292qz1xdvirwvb2h3s2";
   };
 
   buildInputs = [ libxml2 openssl readline gawk ];
@@ -20,8 +20,8 @@ stdenv.mkDerivation rec {
 
   postInstall=''
     echo Move documentation
-    mkdir $out/share/doc
-    mv $out/share/virtuoso/doc $out/share/doc/${name}
+    mkdir -pv $out/share/doc
+    mv -v $out/share/virtuoso/doc $out/share/doc/${name}
     find $out -name "*.a" -delete -o -name "*.jar" -delete -o -type d -empty -delete
     '';