cadical: specify mainProgram

2026-03-18 16:17:27 +02:00
parent d5eebae06f
commit cfc9678a42
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";
  };
 })