1 files changed, 3 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix
index 9d361a5f..570f39bd 100644
--- a/shell.nix
+++ b/shell.nix
@@ -3,6 +3,8 @@ let symbdiff = callPackage ./tools/symbdiff { };
 in mkShell {
   packages = [ clang symbdiff ];
   shellHook = ''
-    alias klang='clang -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone'
+    # 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'
  '';
 }