shell.nix

{pkgs ? import <nixpkgs> {}}:
pkgs.mkShell {
  buildInputs = [
    pkgs.rustup
    pkgs.unzip
    pkgs.wget
    pkgs.cargo
    pkgs.z3_4_12
  ];
  shellHook = ''
    z3_path=$(which z3)
    export VERUS_Z3_PATH="$z3_path"
    export RUSTC_BOOTSTRAP=1
    export VARGO_TARGET_DIR="../verus-lib/source/target-verus/debug"
  '';
}