|
|
|
@ -1,10 +1,11 @@ |
|
|
|
|
{ lib, stdenv, fetchurl, libxml2, openssl, readline, gawk }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
name = "virtuoso-opensource-7.2.4.2"; |
|
|
|
|
pname = "virtuoso-opensource"; |
|
|
|
|
version = "7.2.4.2"; |
|
|
|
|
|
|
|
|
|
src = fetchurl { |
|
|
|
|
url = "mirror://sourceforge/virtuoso/${name}.tar.gz"; |
|
|
|
|
url = "mirror://sourceforge/virtuoso/${pname}-${version}.tar.gz"; |
|
|
|
|
sha256 = "12dqam1gc1v93l0bj0vlpvjqppki6y1hqrlznywxnw0rrz9pb002"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
@ -21,7 +22,7 @@ stdenv.mkDerivation rec { |
|
|
|
|
postInstall='' |
|
|
|
|
echo Moving documentation |
|
|
|
|
mkdir -pv $out/share/doc |
|
|
|
|
mv -v $out/share/virtuoso/doc $out/share/doc/${name} |
|
|
|
|
mv -v $out/share/virtuoso/doc $out/share/doc/${pname}-${version} |
|
|
|
|
echo Removing jars and empty directories |
|
|
|
|
find $out -name "*.a" -delete -o -name "*.jar" -delete -o -type d -empty -delete |
|
|
|
|
''; |
|
|
|
|