diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-08-28 15:07:42 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-03-05 17:31:12 +0900 |
| commit | 10e4dd58331b0dc316c9cf2969f50dc7d74e313d (patch) | |
| tree | d48cf0ec7ae3f74d975fd4513328c601da5be3c2 /shell.nix | |
| parent | 6004402e688ce7af3b8b578c9e500a26316030dc (diff) | |
| download | klee-10e4dd58331b0dc316c9cf2969f50dc7d74e313d.tar.gz | |
Retire external symbilic diff
Diffstat (limited to 'shell.nix')
| -rw-r--r-- | shell.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 8e14a489..00000000 --- a/shell.nix +++ /dev/null @@ -1,10 +0,0 @@ -with import <nixpkgs> {}; -let symbdiff = callPackage ./tools/symbdiff { }; -in mkShell { - packages = [ llvmPackages_12.clang symbdiff ]; - shellHook = '' - # clang -emit-llvm -c -DKLEE_RUNTIME metaprogram.c for bitcode - # clang -o metaprogram{,.c} for binary - alias clang='clang -g -O0 -Xclang -disable-O0-optnone -fsanitize=undefined -fno-sanitize=local-bounds,function,vptr' - ''; -} |