nanofil/nix/trealla.nix

Native Trealla at the revision filnix builds under Fil-C (ports.nix), for fast development runs. nixpkgs' Trealla predates native tabling.

λpkgs

pkgs.trealla.overrideAttrs

λold

5version=

"unstable-2026-09-05"

6src=

pkgs.fetchFromGitHub

7owner=

"trealla-prolog"

8repo=

"trealla"

9rev=

"12f4cbd7fc2269265e7306775ded2f6410671499"

10hash=

"sha256-PL5RyiakGDyFLnoSiOS5/b2AoRNwqoG7W+ShYsNl5a4="

12patches=

17postPatch=

builtins.replaceStrings"Makefile" "GNUmakefile" old.postPatch or ""

20makeFlags=

old.makeFlags or [ ] ++ "LIBDIR=$(out)/share/trealla"

23postInstall=

old.postInstall or ""

mkdir -p $out/share/trealla/library

find library -name '*.pl' -exec cp --parents -t $out/share/trealla {} +

27doCheck=

false