Skip to content

Instantly share code, notes, and snippets.

@crisbour
Created December 6, 2023 14:31
Show Gist options
  • Select an option

  • Save crisbour/f9fa63760162f05d3fb096a838b4a1d0 to your computer and use it in GitHub Desktop.

Select an option

Save crisbour/f9fa63760162f05d3fb096a838b4a1d0 to your computer and use it in GitHub Desktop.
nix-shell for dev with spade-lang and surfer
{ pkgs ? import <nixpkgs> {},
#lib ? pkgs.stdenv.lib
}:
let
pythonEnv = pkgs.python38.withPackages (ps: with ps;
[
pytest
pycodestyle
pydocstyle
autopep8
]);
lib = pkgs.lib;
in with pkgs;
pkgs.stdenv.mkDerivation {
name = "dev-env"; # Probably put a more meaningful name here
buildInputs = [
pythonEnv
poetry
pkg-config
openssl
gdb
verilog
verilator
xorg.libX11
xorg.libX11.dev
];
LD_LIBRARY_PATH = "${lib.makeLibraryPath [ libGL xorg.libX11 xorg.libXi xorg.libXcursor xorg.libXrandr ]}";
shellHook = ''
export PATH=$PATH:$HOME/.cargo/bin
'';
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment