diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2011-08-10 09:43:20 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2011-08-10 09:43:20 +0000 |
commit | 59b7072038b85a53367ecff96df031053d83f115 (patch) | |
tree | 7f5c8c216a8f2dc0dd3be32785cc9570fe93c2fa /pkgs/servers/sql/virtuoso/default.nix | |
parent | 7f820c00f10c216fa058908e08adefb650ee4645 (diff) | |
download | nixpkgs-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.nix | 8 |
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 ''; |