From c857ac0b751399e2f8db7a93fd4214600e6836a0 Mon Sep 17 00:00:00 2001
From: 7c6f434c <7c6f434c@mail.ru>
Date: Sun, 3 Aug 2025 20:37:08 +0200
Subject: [PATCH] tptp: 7.2.0 -> 9.1.0

---
 pkgs/by-name/tp/tptp/package.nix | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

diff --git a/pkgs/by-name/tp/tptp/package.nix b/pkgs/by-name/tp/tptp/package.nix
index 0c6d68d44cdd..ae55bdc6d057 100644
--- a/pkgs/by-name/tp/tptp/package.nix
+++ b/pkgs/by-name/tp/tptp/package.nix
@@ -2,28 +2,32 @@
   lib,
   stdenv,
   fetchurl,
-  yap,
+  swi-prolog,
   tcsh,
   perl,
   patchelf,
+  curl,
 }:
 
 stdenv.mkDerivation rec {
   pname = "TPTP";
-  version = "7.2.0";
+  version = "9.1.0";
 
   src = fetchurl {
     urls = [
-      "http://tptp.cs.miami.edu/TPTP/Distribution/TPTP-v${version}.tgz"
-      "http://tptp.cs.miami.edu/TPTP/Archive/TPTP-v${version}.tgz"
+      "https://tptp.org/TPTP/Distribution/TPTP-v${version}.tgz"
+      "https://tptp.org/TPTP/Archive/TPTP-v${version}.tgz"
     ];
-    sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl";
+    hash = "sha256-KylCpKEdjvXTzYU2MOi0FDrr4e6je2YB366+dxy3Xmo=";
   };
 
-  nativeBuildInputs = [ patchelf ];
+  nativeBuildInputs = [
+    patchelf
+    swi-prolog
+  ];
   buildInputs = [
     tcsh
-    yap
+    swi-prolog
     perl
   ];
 
@@ -40,7 +44,7 @@ stdenv.mkDerivation rec {
     substituteInPlace $sharedir/TPTP2X/tptp2X_install --replace /bin/mv mv
     tcsh $sharedir/TPTP2X/tptp2X_install -default
 
-    patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) $sharedir/Scripts/tptp4X
+    patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) --set-rpath ${lib.getLib curl}/lib $sharedir/Scripts/tptp4X
 
     mkdir -p $out/bin
     ln -s $sharedir/TPTP2X/tptp2X $out/bin
@@ -60,5 +64,6 @@ stdenv.mkDerivation rec {
     platforms = platforms.all;
     sourceProvenance = with sourceTypes; [ binaryNativeCode ];
     license = licenses.unfreeRedistributable;
+    homepage = "https://tptp.org/TPTP/";
   };
 }