Fwd: ATS2 source make issue

[Hongwei Xi]

---------- 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-lan...@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.c
prelude/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 here
ATS_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.c
prelude/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 here
ATS_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.c
gcc -I. -I./ccomp/runtime -c -o prelude_DATS_integer_dats.o prelude/DATS_integer_dats.c
prelude/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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 here
ATS_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 1
make[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-user...@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.