diff options
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@ |