ats-dev.nix

# A nix file (nixos.org) to load the necessary software for doing work with
# ATS2 and ATS Contrib from their source repositories.

#
# To use:
# nix-shell ats-dev.nix -A ATSDevEnv
#
# Or see https://nixos.org/wiki/Howto_develop_software_on_nixos
# for explanation and alternative usage.

#
# Some of the buildInputs are strictly speaking, optional
# Feel free to tailor to your needs
#

let
  pkgs = import <nixpkgs> {};
  stdenv = pkgs.stdenv;
  patshome = "$HOME/ATS-Postiats";
  patshomereloc = "$HOME/ATS-Postiats-contrib";
in rec {
  ATSDevEnv = stdenv.mkDerivation rec {
    name = "atsdev-env";
    buildInputs = with pkgs; [ ats gmp openjdk gradle perl python];
    # Other possibly useful buildInputs:
    # [ php ]
    shellHook = ''
      export ATSHOME=${pkgs.ats}
      export PATSHOME=${patshome}
      export PATSHOMERELOC=${patshomereloc}
    '';  
  };
}