nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 01:13:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #192857 from siraben/trealla-update

Browse Source 
trealla: 1.20.31 -> 2.2.6
This commit is contained in:
Ben Siraphob 2022-09-25 11:36:00 -05:00 committed by GitHub
commit 415c6e2787
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/interpreters/trealla/default.nix
View File

@ -1,14 +1,14 @@
{ lib, stdenv, fetchFromGitHub, readline, openssl, withThread ? true, withSSL ? true, xxd }:
{ lib, stdenv, fetchFromGitHub, readline, openssl, libffi, withThread ? true, withSSL ? true, xxd }:
stdenv.mkDerivation rec {
pname = "trealla";
version = "1.20.31";
version = "2.2.6";
src = fetchFromGitHub {
owner = "infradig";
owner = "trealla-prolog";
repo = "trealla";
rev = "v${version}";
sha256 = "sha256-Yol+bbxC5cCtCIZxP5Sa8R3ev1LAopc/oQa6Zd1nS8A=";
sha256 = "sha256-DxlexijQPcNxlPjo/oIvsN//8nZ0injXFHc2t3n4yjg=";
};
postPatch = ''
@ -26,7 +26,8 @@ stdenv.mkDerivation rec {
];
nativeBuildInputs = [ xxd ];
buildInputs = [ readline openssl ];
buildInputs = [ readline openssl libffi ];
enableParallelBuilding = true;
installPhase = ''
install -Dm755 -t $out/bin tpl
@ -34,13 +35,16 @@ stdenv.mkDerivation rec {
doCheck = true;
preCheck = ''
# Disable test 81 due to floating point error
rm tests/issues/test081.expected tests/issues/test081.pl
# Disable tests due to floating point error
rm tests/issues-OLD/test081.pl
rm tests/issues-OLD/test585.pl
# Disable test due to Unicode issues
rm tests/issues-OLD/test252.pl
'';
meta = with lib; {
description = "A compact, efficient Prolog interpreter written in ANSI C";
homepage = "https://github.com/infradig/trealla";
homepage = "https://github.com/trealla-prolog/trealla";
license = licenses.mit;
maintainers = with maintainers; [ siraben ];
mainProgram = "tpl";