Add missing dependencies for swi-prolog

In the previous version of this derivation, when the command

?- check_installation.

was issued in the swipl prompt, five errors were encountered. This patch fixes
that, so that the installation is correctly checked.

This enables the usage of the command pack_install to install prolog libraries,
which otherwise fails for the lack of libarchive.
This commit is contained in:
Carlo Nucera 2018-08-02 19:36:48 +02:00
parent 5acbe81573
commit bc96cec295

View File

@ -1,6 +1,6 @@
{ stdenv, fetchurl, jdk, gmp, readline, openssl, libjpeg, unixODBC, zlib { stdenv, fetchurl, jdk, gmp, readline, openssl, libjpeg, unixODBC, zlib
, libXinerama, libXft, libXpm, libSM, libXt, freetype, pkgconfig , libXinerama, libarchive, db, pcre, libedit, libossp_uuid, libXft, libXpm
, fontconfig, makeWrapper ? stdenv.isDarwin , libSM, libXt, freetype, pkgconfig, fontconfig, makeWrapper ? stdenv.isDarwin
}: }:
let let
@ -15,7 +15,8 @@ stdenv.mkDerivation {
}; };
buildInputs = [ jdk gmp readline openssl libjpeg unixODBC libXinerama buildInputs = [ jdk gmp readline openssl libjpeg unixODBC libXinerama
libXft libXpm libSM libXt zlib freetype pkgconfig fontconfig ] libarchive db pcre libedit libossp_uuid libXft libXpm libSM libXt
zlib freetype pkgconfig fontconfig ]
++ stdenv.lib.optional stdenv.isDarwin makeWrapper; ++ stdenv.lib.optional stdenv.isDarwin makeWrapper;
hardeningDisable = [ "format" ]; hardeningDisable = [ "format" ];
@ -42,6 +43,6 @@ stdenv.mkDerivation {
license = "LGPL"; license = "LGPL";
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.peti ]; maintainers = [ stdenv.lib.maintainers.peti stdenv.lib.maintainers.meditans ];
}; };
} }