---------- Forwarded message --------- From: Phil Roc <phi...@free.fr> Date: Sun, Apr 18, 2021 at 10:50 AM Subject: Re: ATS2 source make issue To: ats-lang-users <ats-lang-users@googlegroups.com>
Hello, I've ended up installing ATS2 using Homebrew ( https://formulae.brew.sh/formula/ats2-postiats), instead of compiling it myself. Case closed. Le dimanche 18 avril 2021 à 09:32:45 UTC+2, Phil Roc a écrit : > By the way, here's the compiler I'm using: > > Apple clang version 12.0.0 (clang-1200.0.32.29) > Target: x86_64-apple-darwin20.2.0 > Thread model: posix > InstalledDir: > /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin > > Le dimanche 18 avril 2021 à 09:30:45 UTC+2, Phil Roc a écrit : > >> Hello, >> on MacosX Big Sur, when I "make" the ATS2 code, I get the following >> errors. >> >> Can anyone help, please? >> >> Many thanks. >> >> Phil >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> *gcc -I. -I./ccomp/runtime -c -o prelude_DATS_bool_dats.o >> prelude/DATS_bool_dats.cprelude/ats_main_prelude_dats.c:72:1: error: >> implicit declaration of function >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload' is invalid in >> C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:73:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:73:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload'?prelude/ats_main_prelude_dats.c:72:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:74:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload >> () ;^gcc -I. -I./ccomp/runtime -c -o prelude_DATS_char_dats.o >> prelude/DATS_char_dats.cprelude/ats_main_prelude_dats.c:74:1: note: did you >> mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload'?prelude/ats_main_prelude_dats.c:73:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:75:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload >> () ;^gcc -I. -I./ccomp/runtime -c -o prelude_DATS_float_dats.o >> prelude/DATS_float_dats.cgcc -I. -I./ccomp/runtime -c -o >> prelude_DATS_integer_dats.o >> prelude/DATS_integer_dats.cprelude/ats_main_prelude_dats.c:75:1: note: did >> you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload'?prelude/ats_main_prelude_dats.c:73:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:76:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload' is invalid >> in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:76:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload'?prelude/ats_main_prelude_dats.c:72:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:77:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload' is invalid >> in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:77:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload'?prelude/ats_main_prelude_dats.c:76:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:78:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:79:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:79:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload'?prelude/ats_main_prelude_dats.c:72:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:80:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:81:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload' is invalid >> in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:82:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:82:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload'?prelude/ats_main_prelude_dats.c:81:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:83:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:83:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload'?prelude/ats_main_prelude_dats.c:75:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:84:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:84:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload'?prelude/ats_main_prelude_dats.c:78:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:85:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload' is invalid >> in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:86:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:87:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:87:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload'?prelude/ats_main_prelude_dats.c:85:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:88:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:89:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:89:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload'?prelude/ats_main_prelude_dats.c:88:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () >> ;^prelude/ats_main_prelude_dats.c:90:1: error: implicit declaration of >> function 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload' is >> invalid in C99 >> [-Werror,-Wimplicit-function-declaration]ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload >> () ;^prelude/ats_main_prelude_dats.c:90:1: note: did you mean >> 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload'?prelude/ats_main_prelude_dats.c:88:1: >> note: 'ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload' declared >> hereATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () ;^fatal >> error: too many errors emitted, stopping now [-ferror-limit=]20 errors >> generated.make[1]: *** [prelude_ats_main_prelude_dats.o] Error 1make[1]: >> *** Waiting for unfinished jobs....make: *** [src2_patsopt] Error 2* >> >> >> >> -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/e04e105c-64a2-4f58-970b-c114630d1ba1n%40googlegroups.com <https://groups.google.com/d/msgid/ats-lang-users/e04e105c-64a2-4f58-970b-c114630d1ba1n%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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLphphOMebPedfDmO2u3YFru9iOYNp6cnFPO46-QtZfRRA%40mail.gmail.com.
