Re: Starting learning ADA

[joakimds@kth.se]

Den lördag 8 juni 2019 kl. 17:26:15 UTC+2 skrev Ricardo Brandão:
> Hi,
> 
> This is my first contact with Ada language. 
> 
> I'm following the tutorial in Learn Adacore site [1], and so far it's ok. I'm compiling the codes in Windows (using gprbuild.exe) and Linux Ubuntu (using gnatmake).
> 
> But my idea is create more complex programs, running in IoT, desktop, and servers. And as I'm doing my doctorate and need to do a prototype of a secure protocol to an IoT network, my idea is use Ada to force me learn Ada in an "almost" real application.
> 
> But, I'm a bit confused on how to search, install, get some examples of libraries that I'll use to achieve my goal.
> 
> For instance, googling some library to deal with Json files, I found out the GNATCOOL.JSON package [2]. 
> 
> Trying to find where to download and install, I reached the Github repo [3]. I cloned it in Windows and Linux, but I didn't get to install it.
> 
> In Windows:
> - I got to repository directory and:
>   - make setup
>   - make install
> 
> The output:
> 
> > make setup
> > make install
> gprinstall -p -f --target=executable:gcc.exe -XGNATCOLL_MMAP=yes -XGNATCOLL_MADVISE=yes -XGNATCOLL_VERSION=0.0 -XGNATCOLL_OS=unix -XBUILD=PROD  --sources-subdir=include/gnatcoll --prefix=/d/GNAT/2019/bin/.. -XLIBRARY_TYPE=static -XXMLADA_BUILD=static -XGPR_BUILD=static \
>                 --build-name=static -XGNATCOLL_MMAP=yes -XGNATCOLL_MADVISE=yes -XGNATCOLL_VERSION=0.0 -XGNATCOLL_OS=unix -XBUILD=PROD \
>                 --build-var=LIBRARY_TYPE --build-var=GNATCOLL_BUILD \
>                 --build-var=GNATCOLL_CORE_BUILD gnatcoll.gpr
> gprconfig: can't find a toolchain for the following configuration:
> gprconfig: language 'c', target 'executable:gcc.exe', default runtime
> gprconfig: can't find a toolchain for the following configuration:
> gprconfig: language 'ada', target 'executable:gcc.exe', default runtime
> gnatcoll.gpr:24:06: unknown project file: "gpr"
> gprinstall: "gnatcoll.gpr" processing failed
> make: *** [install-static] Error 4:
> 
> In Linux:
> 
> $ make setup
> make: gprconfig: Command not found
> Makefile:71: *** No toolchain found for target "x86_64-linux-gnu".  Stop.
> 
> # So, I tried to install gprconfig (Ubuntu gprbuild package)
> $ sudo apt-get install gprbuild
> 
> # Tried make setup again
> $ make setup
> 
> raised STORAGE_ERROR : stack overflow or erroneous memory access
> Makefile:71: *** No toolchain found for target "x86_64-linux-gnu".  Stop.
> 
> So, what are the "correct" paths to search, install, and test libraries? 
> 
> Thanks
> 
> 
> [1] https://learn.adacore.com/index.html
> [2] http://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/json.html?highlight=json
> [3] https://github.com/AdaCore/gnatcoll-core
> 
> --
> Ricardo Brandão

Hi Ricardo,

I wouldn't recommend cloning the github repository of gnatcoll directly because it's probably "the latest development version" and may use features of the latest development version of the GNAT compiler. I therefore wouldn't expect to be able to build that code with an older compiler. However, a version of gnatcoll is installed with the GNAT Community Edition. In the 2019 version of GNAT CE the gnatcoll.gpr file can be found in C:\GNAT\2019\share\gpr
It should be possible to with "gnatcoll.gpr"; in your gpr-file to be good to go.

Best regards,
Joakim