Tests: use installed executable instead

Author: omelkonian

.github/workflows/nix-ci.yml

@@ -14,5 +14,4 @@ jobs:
     steps:
     - uses: actions/checkout@v5
     - uses: cachix/install-nix-action@v31
-    - run: sudo apt install cabal-install
     - run: nix build ./#agda2lambox --print-build-logs

flake.nix

@@ -31,7 +31,12 @@
           haskellPackages = prev.haskellPackages.extend (
             hfinal: hprev: {
               sexpresso = hLib.doJailbreak (hLib.markUnbroken hprev.sexpresso);
-              agda2lambox = hLib.doJailbreak (hfinal.callCabal2nix "agda2lambox" ./. { });
+              agda2lambox = hLib.doJailbreak
+                (hLib.overrideCabal
+                  (hfinal.callCabal2nix "agda2lambox" ./. { })
+                  (old: {
+                    phases = [ "unpackPhase" "configurePhase" "buildPhase" "installPhase" "checkPhase" ];
+                  }));
             }
           );
         };

src/Main.hs

@@ -81,7 +81,7 @@ defaultOptions  = Options
 type ModuleEnv = ()
 type ModuleRes = ()
 
--- | The adga2lambox backend.
+-- | The agda2lambox backend.
 agda2lambox :: Backend
 agda2lambox = Backend backend
   where

test/Main.hs

@@ -73,7 +73,7 @@ mkAgdaTest mLboxPath buildDir subdir isTyped baseFile = testCase ("Test: " ++ (s
 
   -- Step 1: Run agda2lambox on the file (run with cwd=subdir so Agda sees basename)
   let typedFlag = ["--typed" | isTyped]
-      cp = (proc "cabal" (["run", "--", "agda2lambox"] ++ typedFlag ++ ["-o", buildDir, baseFile]))
+      cp = (proc "agda2lambox" (typedFlag ++ ["-o", buildDir, baseFile]))
             { cwd = Just subdir }
   (exitCode, stdout, stderr) <- readCreateProcessWithExitCode cp ""