cadical: specify mainProgram (#501035)

2026-03-18 22:56:36 +00:00
parent f27b06d07e cfc9678a42
commit fcd96463f8
1 changed files with 1 additions and 0 deletions
@@ -106,5 +106,6 @@ stdenv.mkDerivation (finalAttrs: {
    platforms = lib.platforms.unix;
    license = lib.licenses.mit;
    homepage = "https://fmv.jku.at/cadical/";
+    mainProgram = "cadical";
  };
 })