Hi Vanessa, пт, 3 авг. 2018 г. в 8:59, Vanessa McHale <vanessa.mch...@iohk.io>:
> 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? > > I guess this is POSIX-specific stuff, so no, I don't think you directly map it to something that Windows understands, unless you fall back to Cygwin. See also: https://github.com/githwxi/ATS-Postiats-contrib/issues/30 You could also search for "mingw" in the group to find other discussions as well. > > 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. > 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/2171b521-923c-a366-0b67-e4a1d791f354%40iohk.io > . > -- Cheers, Artyom Shalkhakov -- 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/CAKO6%3Dqh%2BSh53dJ7YmzVORydhmtbSZv1_vJJd8GwdsLzdTALxXw%40mail.gmail.com.