From fbdaaee21ba6e6e279e48b7ab580560c232edea7 Mon Sep 17 00:00:00 2001
From: sempiternal-aurora
 <78790545+sempiternal-aurora@users.noreply.github.com>
Date: Wed, 19 Aug 2026 01:25:36 +1000
Subject: [PATCH] zipperposition: migrate to dunePackages

(cherry picked from commit 62ac3adbe3ea80c52848fe3ae1d891bde5d2a912)
---
 pkgs/by-name/zi/zipperposition/package.nix | 23 ++++++----------------
 1 file changed, 6 insertions(+), 17 deletions(-)

diff --git a/pkgs/by-name/zi/zipperposition/package.nix b/pkgs/by-name/zi/zipperposition/package.nix
index 7096bead775e..7d34ff216122 100644
--- a/pkgs/by-name/zi/zipperposition/package.nix
+++ b/pkgs/by-name/zi/zipperposition/package.nix
@@ -29,17 +29,12 @@ ocamlPackages.buildDunePackage {
     oseq
   ];
 
-  buildPhase = ''
-    runHook preBuild
-    dune build -p logtk,libzipperposition,zipperposition,zipperposition-tools ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
-    runHook postBuild
-  '';
-
-  installPhase = ''
-    runHook preInstall
-    dune install --prefix $out --libdir $OCAMLFIND_DESTDIR logtk libzipperposition zipperposition zipperposition-tools
-    runHook postInstall
-  '';
+  dunePackages = [
+    "logtk"
+    "libzipperposition"
+    "zipperposition"
+    "zipperposition-tools"
+  ];
 
   doCheck = true;
 
@@ -49,12 +44,6 @@ ocamlPackages.buildDunePackage {
     qcheck-alcotest
   ];
 
-  checkPhase = ''
-    runHook preCheck
-    dune runtest -p logtk,libzipperposition,zipperposition,zipperposition-tools ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
-    runHook postCheck
-  '';
-
   meta = {
     description = "Superposition prover for full first order logic";
     homepage = "https://github.com/sneeuwballen/zipperposition";