You can see the compilation command-line in the Makefile: https://github.com/ats-lang/ats-lang.github.io/blob/master/DOCUMENT/INT2PROGINATS/CODE/CHAP_ABSVTYPE/Makefile
On Thu, Mar 2, 2017 at 8:16 PM, spearman <pearman...@gmail.com> wrote: > What is the command to compile the `timer.dats` example from the > Introduction to ATS book? > > https://github.com/ats-lang/ats-lang.github.io/blob/ > master/DOCUMENT/INT2PROGINATS/CODE/CHAP_ABSVTYPE/timer.dats > > The command I have tried (ATS/Postiats 0.3.2): > > $ patscc timer.dats -o timer -lrt > > results in the two errors: > > timer_dats.c:1165:11: error: storage size of ‘tmpref24’ isn’t known > ATStmpdec(tmpref24, atslib_libats_libc_timespec_type) ; > ^ > > and: > > In file included from timer_dats.c:15:0: > timer_dats.c:1190:65: error: ‘CLOCK_REALTIME’ undeclared (first use in > this function) > ATSINSmove(tmp25, atslib_libats_libc_clock_gettime(ATSPMVextval(CLOCK_ > REALTIME), ATSPMVrefarg1(ATSPMVptrof(tmpref24)))) ; > ^ > > -- > 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-users+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@googlegroups.com. > 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/454956d3-0c48-4811-bb93-4b4a2af1fbad% > 40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/454956d3-0c48-4811-bb93-4b4a2af1fbad%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/CAPPSPLo-YPwF53DO_wOR3pJyM48fcBO%3DWYTcCfA_Ub4SDt4A0w%40mail.gmail.com.
