nixpkgs/pkgs/servers/sql/virtuoso/7.x.nix
Ryan Mulligan e188ca3a84 virtuoso7: 7.0.0 -> 7.2.4.2
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/virtuoso-t help` got 0 exit code
- ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/isql --help` got 0 exit code
- ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/isqlw --help` got 0 exit code
- ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/inifile help` got 0 exit code
- found 7.2.4.2 with grep in /nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2
- directory tree listing: https://gist.github.com/dcd661201732277a82f8e3f4e4263587
2018-03-21 22:47:11 +00:00

37 lines
1.1 KiB
Nix

{ stdenv, fetchurl, libxml2, openssl, readline, gawk }:
stdenv.mkDerivation rec {
name = "virtuoso-opensource-7.2.4.2";
src = fetchurl {
url = "mirror://sourceforge/virtuoso/${name}.tar.gz";
sha256 = "12dqam1gc1v93l0bj0vlpvjqppki6y1hqrlznywxnw0rrz9pb002";
};
buildInputs = [ libxml2 openssl readline gawk ];
CPP = "${stdenv.cc}/bin/gcc -E";
configureFlags = "
--enable-shared --disable-all-vads --with-readline=${readline.dev}
--disable-hslookup --disable-wbxml2 --without-iodbc
--enable-openssl=${openssl.dev}
";
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/;
#configure: The current version [...] can only be built on 64bit platforms
platforms = [ "x86_64-linux" ];
maintainers = [ ];
};
}