i just meant: please don’t wait to get rid of sourceforge repos just
because there is some (nice but high-falutin’) dream about a full ats
web system.
github pages https://pages.github.com/ might allow for the integration of
something like that, though I suppose it would require a separate backend
server to run ATS on (or just let ATS run in the browser - stranger things
have been done: JSLinux; actually, I guess jslinux
could even be a tool to be used … in principle). I’m very far from being
a webdev…
Brandon Barker
brandon…@gmail.comOn Fri, Aug 8, 2014 at 1:31 AM, Raoul Duke rao...@gmail.com wrote:
please do not let the perfect be the enemy of the
less-confusing-than-it-is-today. :-}–
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/CAJ7XQb7qO%2BCswgSYapu9VpJR82i1YYa-FRtAOtzKaWJvS02HCg%40mail.gmail.com
.
i don’t get it, overall, yet, still:
(a) the tar gz has ./configure but the git repo doesn’t?
(b) using the tar gz, things did not build out of the box w/out libgmp
– hardly looked like anything optional to me. certainly no
instructions about how to fix that build break.
confusing to me so far.
so just think, if ats leads the way with cleaning up, how much more
likely people will be to fall in love with it, after having been
burned with haxe, erlang-lfe, whatever else 
yes, but that could be easily changed if there is need I suppose. So far, I
think I’ve only experience a minor issue once in over a year of using the
git version. And Hongwei has disclaimed that using git should only be fore
people doing development on ATS (so even if they are using it for something
else, the disclaimer is there…)
Do you see that as an issue for the moment?
Brandon Barker
brandon…@gmail.comOn Thu, Aug 7, 2014 at 2:42 PM, Raoul Duke rao...@gmail.com wrote:
in other words: the project lacks a stable vs. dev branch?
–
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/CAJ7XQb7NR0YE8x4inyNQgFDq5ZBqj4PBJQLZU7N%3DKbvnWZOtnA%40mail.gmail.com
.
I don’t think we necessarily need to follow the recipe of ./configure &&
make && make install
Yes, I agree. But the point was not there (at least from my point of
view), rather in the documentation suggesting erroneous steps.
The only caveat I can think of is that most people probably
wouldn’t/shouldn’t do ‘make install’ on a git version,
Why so?