diff options
author | Shea Levy <shea@shealevy.com> | 2015-04-30 18:54:40 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-04-30 18:54:40 -0400 |
commit | a704233a87d22121d6ad38bd1e4a61d9e9cc7c25 (patch) | |
tree | 29ece6f6f7172c714b0747592b9a6944087a3d85 /pkgs/development/compilers/ats2 | |
parent | 6823b5e65754ec0fb7f2a608eb480599f5ffb689 (diff) |
Add ats-extsolve (formerly patsolve)
Diffstat (limited to 'pkgs/development/compilers/ats2')
-rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 2 | ||||
-rw-r--r-- | pkgs/development/compilers/ats2/setup-hook.sh | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index 304d5c284aea..8345a353f3f9 100644 --- a/pkgs/development/compilers/ats2/default.nix +++ b/pkgs/development/compilers/ats2/default.nix @@ -11,6 +11,8 @@ stdenv.mkDerivation rec { buildInputs = [ gmp ]; + setupHook = ./setup-hook.sh; + meta = { description = "Functional programming language with dependent types"; homepage = "http://www.ats-lang.org"; diff --git a/pkgs/development/compilers/ats2/setup-hook.sh b/pkgs/development/compilers/ats2/setup-hook.sh new file mode 100644 index 000000000000..67647b1edf69 --- /dev/null +++ b/pkgs/development/compilers/ats2/setup-hook.sh @@ -0,0 +1 @@ +export PATSHOME=@out@/lib/ats2-postiats-@version@ |