aboutsummaryrefslogtreecommitdiff
path: root/2021/shell.nix
diff options
context:
space:
mode:
Diffstat (limited to '2021/shell.nix')
-rw-r--r--2021/shell.nix35
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;
+ };
+ }))
+ ];
+}