The command “patscc --help” displays the help from GCC. Is there a way to
get Postiat’s options help from the command line?
+1, but you can find it at http://www.ats-lang.org/Resources.htmlOn Feb 15, 2015 3:52 PM, “‘Yannick Duchêne’ via ats-lang-users” < ats-lan...@googlegroups.com> wrote:
The command “patscc --help” displays the help from GCC. Is there a way to
get Postiat’s options help from the command line?–
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/9dcc8edc-4a01-48df-bc41-f19ef9149094%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/9dcc8edc-4a01-48df-bc41-f19ef9149094%40googlegroups.com?utm_medium=email&utm_source=footer
.
I don’t think there is much difference, just based on my experience.On Sun, Feb 15, 2015 at 5:18 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 15 février 2015 22:43:30 UTC+1, Brandon Barker a écrit :
+1, but you can find it at http://www.ats-lang.org/Resources.html
Oh, thanks, I did not knew this page. Do you know if there is a lot of
differences between Arinats (was that Arinats? I forget…) and Postiat,
regarding command line options? The page seems to be about ATS1.–
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/9b37f224-d138-4bef-a967-2b3d349bcdd7%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/9b37f224-d138-4bef-a967-2b3d349bcdd7%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
This one is for ATS/Postiats.
The command atscc for ATS/Anairiats is not yet documented.On Sun, Feb 15, 2015 at 5:18 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le dimanche 15 février 2015 22:43:30 UTC+1, Brandon Barker a écrit :
+1, but you can find it at http://www.ats-lang.org/Resources.html
Oh, thanks, I did not knew this page. Do you know if there is a lot of
differences between Arinats (was that Arinats? I forget…) and Postiat,
regarding command line options? The page seems to be about ATS1.–
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/9b37f224-d138-4bef-a967-2b3d349bcdd7%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/9b37f224-d138-4bef-a967-2b3d349bcdd7%40googlegroups.com?utm_medium=email&utm_source=footer
.
+1, but you can find it at http://www.ats-lang.org/Resources.html
Oh, thanks, I did not knew this page. Do you know if there is a lot of
differences between Arinats (was that Arinats? I forget…) and Postiat,
regarding command line options? The page seems to be about ATS1.
I just made patscc to handle the flag --help (instead of passing it to gcc).
Should be available in the next release of ATS2.On Sun, Feb 15, 2015 at 3:52 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
The command “patscc --help” displays the help from GCC. Is there a way to
get Postiat’s options help from the command line?–
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/9dcc8edc-4a01-48df-bc41-f19ef9149094%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/9dcc8edc-4a01-48df-bc41-f19ef9149094%40googlegroups.com?utm_medium=email&utm_source=footer
.