Hi Steinway, These days Brandon Barker maintains ATS packages for NixOS:
https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ats2/default.nix You can install ATS2 as follows $ nix-env -i ats2 I used to have a separate environment for ATS2 development on my laptop. Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a much simpler approach. 2018-05-01 9:25 GMT+06:00 Steinway Wu <[email protected]>: > Hi, > > I just noticed that there are some Nix scripts. I never knew we have Nix > efforts. Could someone provide some insights into the experiences using Nix > for ATS? Is it working? Does someone maintain a Nix package for ATS? > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/ats-lang-users/cdb0af26-dc72-4955-9ffe-5591d05022e2% > 40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/cdb0af26-dc72-4955-9ffe-5591d05022e2%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Cheers, Artyom Shalkhakov -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqhFvOZBNCKVVao5XbC2QdO69kz81ZENCixHYpd5%3DrXMuw%40mail.gmail.com.
