“patscc --help”

17 views
Skip to first unread message

Yannick Duchêne

unread,
Feb 15, 2015, 8:52:14 PM2/15/15
to ats-lan...@googlegroups.com
The command “patscc --help” displays the help from GCC. Is there a way to get Postiat's options help from the command line?

Brandon Barker

unread,
Feb 15, 2015, 9:43:30 PM2/15/15
to ats-lang-users

+1, but you can find it at http://www.ats-lang.org/Resources.html

On 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.

Yannick Duchêne

unread,
Feb 15, 2015, 10:18:02 PM2/15/15
to ats-lan...@googlegroups.com


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.

Brandon Barker

unread,
Feb 15, 2015, 11:16:34 PM2/15/15
to ats-lang-users
I don't think there is much difference, just based on my experience.

--
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.



--
Brandon Barker
brandon...@gmail.com

Hongwei Xi

unread,
Feb 15, 2015, 11:17:50 PM2/15/15
to ats-lan...@googlegroups.com
This one is for ATS/Postiats.

The command atscc for ATS/Anairiats is not yet documented.


--
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.

Hongwei Xi

unread,
Feb 15, 2015, 11:19:58 PM2/15/15
to ats-lan...@googlegroups.com
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.

Reply all
Reply to author
Forward
0 new messages