fix deps

PLSysSec · Jul 16, 2024 · f9ef280 · f9ef280
1 parent 85ac30d
commit f9ef280
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -13,6 +13,8 @@ build/*
 .gdbinit
 .gdb_history
 
+.liquid/
+
 ## OS X
 .DS_Store
 .AppleDouble

diff --git a/shell.nix b/shell.nix
@@ -52,6 +52,9 @@ in
       # --- Toolchains ---
       rustBuild
       openocd
+      cargo
+      rustup
+      z3
 
       # --- Convenience and support packages ---
       python3Full
@@ -85,8 +88,11 @@ in
 
     # The defaults "objcopy" and "objdump" are wrong (stem from the standard
     # environment for x86), use "llvm-obj{copy,dump}" as defined in the makefile
+
+    # need to get `fixpoint` from the absolute path.
     shellHook = ''
       unset OBJCOPY
       unset OBJDUMP
+      export PATH="/home/mod/.local/bin:$PATH"
     '';
   }