Thanks, I'll have a look! I unfortunately do not have much experience with C/systems programming, but I this could be a good chance to brush up.
On 08/03/2018 11:36 AM, Hongwei Xi wrote: > Here is an example showing how you can set up your own "run-time" for ATS: > > https://github.com/githwxi/ATS-Postiats/tree/master/npm-utils/contrib/libats-/hwxi/kernelats > > Probably you don't really need to go that far. When I use ATS to > implement a project, I usually > have a 'mylib' like this one: > > https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-parsemit/DATS/catsparse_mylib.dats > > I do not advocate the use of -latslib (i.e., libatslib.a, which is > mostly built for the purpose of education). > > > On Thu, Aug 2, 2018 at 10:59 PM, Vanessa McHale > <vanessa.mch...@iohk.io <mailto:vanessa.mch...@iohk.io>> wrote: > > Hi all, > > Debian packages a cross-compiler targeting windows, > gcc-x86_64-w64-mingw32. Unfortunately, atslib fails to build with > this, > due to the following error: > > > In file included from .atspkg/c/prelude/DATS/filebas.c:94:0: > > /home/vanessa/.atspkg/0.3.11/lib/ats2-postiats-0.3.11/libats/libc/CATS/sys/types.cats:78:9: > > error: unknown type name ‘uid_t’ typedef uid_t > atslib_libats_libc_uid_type ; ^~~~~ > > /home/vanessa/.atspkg/0.3.11/lib/ats2-postiats-0.3.11/libats/libc/CATS/sys/types.cats:79:9: > > > error: unknown type name ‘gid_t’ typedef gid_t > atslib_libats_libc_gid_type ; ^~~~~ ) > > > Is this an upstream problem with the cross-compiler? Or is this > something I could work around? > > Thanks, > Vanessa > > > -- > 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 > <mailto:ats-lang-users%2bunsubscr...@googlegroups.com>. > To post to this group, send email to > ats-lang-users@googlegroups.com > <mailto:ats-lang-users@googlegroups.com>. > Visit this group at https://groups.google.com/group/ats-lang-users > <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/2171b521-923c-a366-0b67-e4a1d791f354%40iohk.io > > <https://groups.google.com/d/msgid/ats-lang-users/2171b521-923c-a366-0b67-e4a1d791f354%40iohk.io>. > > > -- > 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 > <mailto:ats-lang-users+unsubscr...@googlegroups.com>. > To post to this group, send email to ats-lang-users@googlegroups.com > <mailto: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/CAPPSPLocofs3S%2ByaYrXBMb%3D3n4hojxPE9wLBO%2B52oFGrTP7bfA%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLocofs3S%2ByaYrXBMb%3D3n4hojxPE9wLBO%2B52oFGrTP7bfA%40mail.gmail.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/56f1df38-29aa-d9fc-5097-ab889ffed352%40iohk.io.
signature.asc
Description: OpenPGP digital signature
