Scripts for installing ATS2/ATS2-contrib

Google Group
1

I collected some scripts for installing ATS2/ATS2-contrib
VERY conveniently:

Some of the mentioned scripts (e.g., Homebrew for Mac) are maintained
elsewhere.

Please fill free to contribute such scripts.

Cheers,

–Hongwei

2

Fixed. Thanks!On Tue, Nov 24, 2015 at 2:00 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le samedi 5 septembre 2015 21:06:21 UTC+2, gmhwxi a écrit :

I collected some scripts for installing ATS2/ATS2-contrib
VERY conveniently:

https://github.com/ats-lang/ats-lang.github.io/tree/master/SCRIPT
[…]

There is a tiny typo error in a comment: “For parsing constrants” should
be “For parsing constraints”

–
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 ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/e5c412e6-ad52-4f96-9ce0-2751602333fe%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e5c412e6-ad52-4f96-9ce0-2751602333fe%40googlegroups.com?utm_medium=email&utm_source=footer
.

3

I collected some scripts for installing ATS2/ATS2-contrib
VERY conveniently:

https://github.com/ats-lang/ats-lang.github.io/tree/master/SCRIPT
[…]

There is a tiny typo error in a comment: “For parsing constrants” should be
“For parsing constraints”

4

Thanks!

The overlay is now mentioned here:

If you could write a short description of the overlay, I will be happy to
paste it in
verbatim.On Saturday, September 5, 2015 at 5:04:17 PM UTC-4, Barry Schwartz wrote:

gmhwxi <gmh...@gmail.com <javascript:>> skribis:

I collected some scripts for installing ATS2/ATS2-contrib
VERY conveniently:

My ‘sortsmill’ overlay for Gentoo contains scripts for slotted
installs. You can have multiple versions installed. Try

layman -a sortsmill 
emerge -pv dev-lang/ats2:{0.2.1,0.2.2,live} 
emerge -pv dev-lang/ats2-contrib:{0.2.1,0.2.2,live}

It’ll probably tell you the ‘live’ slots are masked, and may tell you
the others are masked, but Gentoo users should be able to figure it
all out.

The ebuilds will pull in app-eselect/eselect-ats2 and
app-eselect/eselect-ats2-contrib. Gentoo users can guess what these
do.

There are also dev-lang/ats2-github and dev-lang/ats2-contrib-github
but the last time I tried the former it didn’t work. It tries to build
a tarball from the Github sources (using Anairats, which gets pulled
in) and then compile and install from the tarball as if it were a
release.

The overlay also has ebuilds for GNU Guile that are an alternative to
those in other repositories.

(I have ebuilds for Pure-lang, as well, but they are in another repo.)