diff options
Diffstat (limited to '2021/shell.nix')
-rw-r--r-- | 2021/shell.nix | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/2021/shell.nix b/2021/shell.nix new file mode 100644 index 0000000..9e6b4cb --- /dev/null +++ b/2021/shell.nix @@ -0,0 +1,35 @@ +{ pkgs ? import <nixpkgs> {} }: + +pkgs.mkShell { + buildInputs = with pkgs; [ + emacs + (haskellPackages.ghcWithPackages (p: [ + p.linear + p.parsec + ])) + python3 + stack + racket + clojure + leiningen + (minizinc.overrideAttrs (old: let rev = "adaa07456233d9ffe0a1f848917dde41e8c54710"; in { + version = "develop-${rev}"; + src = pkgs.fetchFromGitHub { + owner = "MiniZinc"; + repo = "libminizinc"; + + rev = rev; + sha256 = "sha256-t5/reUj38cc3H7CE1iPWgYD9m+190E5ihFHhft8+Bns="; + }; + })) + (gecode.overrideAttrs (old: let rev = "fec7e9fd99bca98f146416ba8ea8adc278f5a95a"; in { + version = "develop-${rev}"; + src = pkgs.fetchFromGitHub { + owner = "Gecode"; + repo = "gecode"; + sha256 = "sha256-HiYO74RnxY6ga7uppjR3DXMFOgE/8Gs0dvi86qUQcjo="; + rev = rev; + }; + })) + ]; +} |