diff options
author | Morgan Jones <me@numin.it> | 2024-06-15 19:12:26 -0700 |
---|---|---|
committer | Morgan Jones <me@numin.it> | 2024-06-17 23:15:33 -0700 |
commit | bc9fffbb3b62a9894c3bcd49356f09cb02adafd6 (patch) | |
tree | 9ed6ee8d35d0b1fcf716c068491da58fbabb3f1b /pkgs/applications/science/logic/klee/default.nix | |
parent | 0513d66f10602321e83deb6bac570daa7bd69efb (diff) |
klee: add mainProgram
Diffstat (limited to 'pkgs/applications/science/logic/klee/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/klee/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix index a8e7261fb2fbd..fb02c6d40b9dc 100644 --- a/pkgs/applications/science/logic/klee/default.nix +++ b/pkgs/applications/science/logic/klee/default.nix @@ -129,6 +129,7 @@ llvmPackages.stdenv.mkDerivation rec { }; meta = with lib; { + mainProgram = "klee"; description = "Symbolic virtual machine built on top of LLVM"; longDescription = '' KLEE is a symbolic virtual machine built on top of the LLVM compiler |