Basically, you need -D_GNU_SOURCE -DATS_MEMALLOC_LIBC
On Thu, Mar 2, 2017 at 8:25 PM, Hongwei Xi <gmh...@gmail.com> wrote: > 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/ms >> gid/ats-lang-users/454956d3-0c48-4811-bb93-4b4a2af1fbad%40go >> oglegroups.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/CAPPSPLqY%3D9WvtNPTue9EeppjRJ8qf-Lr0q7tsKpX5QzdEfPq_g%40mail.gmail.com.
