From cae01bffb4c60e586ad54e4d056dfc5a193faa9e Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Thu, 30 Mar 2023 20:11:04 +0900
Subject: Implement differentiator extraction

---
 shell.nix | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 shell.nix

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 00000000..9d361a5f
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,8 @@
+with import <nixpkgs> {};
+let symbdiff = callPackage ./tools/symbdiff { };
+in mkShell {
+  packages = [ clang symbdiff ];
+  shellHook = ''
+    alias klang='clang -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone'
+ '';
+}
-- 
cgit 1.4.1