fetch z3 with nix so it works with nixos

epfl-lara · Jun 19, 2017 · 1394fbe · 1394fbe
1 parent 23c7205
commit 1394fbe
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,7 @@
+# Stainless
+/bin/stainless-*
+
+
 # Vim
 *.swp
 
@@ -53,7 +57,6 @@ out-classes
 /travis/builds
 
 # Windows
-/bin/
 /cvc4.exe
 /libz3.dll
 /libz3.lib

diff --git a/bin/nix-run b/bin/nix-run
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+HERE="`dirname $0`"
+
+nix-shell $HERE/stainless.nix -A stainlessEnv
diff --git a/bin/stainless.nix b/bin/stainless.nix
@@ -0,0 +1,17 @@
+let
+  pkgs = import <nixpkgs> {};
+  stdenv = pkgs.stdenv;
+in rec {
+  stainlessEnv = stdenv.mkDerivation rec {
+    name = "stainless-env";
+    shellHook = ''
+    alias cls=clear
+    '';
+    buildInputs = with pkgs; [
+      stdenv
+      sbt
+      openjdk
+      z3
+    ];
+  };
+}