shell.nix

{ pkgsSrc ? <nixpkgs>}:

with import pkgsSrc {};

stdenv.mkDerivation {
  name = "k-dss-cdp-manager-fv";
  buildInputs = [
    bc
    flex
    getopt
    git
    gnumake
    jq
    nodejs
    openjdk8
    parallel
    utillinux
    z3
    zip
    zstd
  ];

  shellHook = ''
    export PATH=$PATH:$KLAB_PATH/node_modules/.bin:$KLAB_PATH/bin
    export KLAB_EVMS_PATH=$KLAB_PATH/evm-semantics
  '';
}