Commit d53177da authored by Austin Seipp's avatar Austin Seipp
Browse files

trealla: 2.2.6 -> 2.8.4



Signed-off-by: default avatarAustin Seipp <aseipp@pobox.com>
parent 79f3b75f
Loading
Loading
Loading
Loading
+4 −3
Original line number Diff line number Diff line
{ lib, stdenv, fetchFromGitHub, readline, openssl, libffi, withThread ? true, withSSL ? true, xxd }:
{ lib, stdenv, fetchFromGitHub, readline, openssl, libffi, valgrind, withThread ? true, withSSL ? true, xxd }:

stdenv.mkDerivation rec {
  pname = "trealla";
  version = "2.2.6";
  version = "2.8.4";

  src = fetchFromGitHub {
    owner = "trealla-prolog";
    repo = "trealla";
    rev = "v${version}";
    sha256 = "sha256-DxlexijQPcNxlPjo/oIvsN//8nZ0injXFHc2t3n4yjg=";
    sha256 = "sha256-/jB4jlYotvdU068+zj9Z+G0g75sI9dTmtgN874i0qAE=";
  };

  postPatch = ''
@@ -27,6 +27,7 @@ stdenv.mkDerivation rec {

  nativeBuildInputs = [ xxd ];
  buildInputs = [ readline openssl libffi ];
  checkInputs = [ valgrind ];
  enableParallelBuilding = true;

  installPhase = ''