From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, URI_TRY_3LD autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a02:1cc6:: with SMTP id c189mr38732110jac.119.1560007573507; Sat, 08 Jun 2019 08:26:13 -0700 (PDT) X-Received: by 2002:a9d:32a6:: with SMTP id u35mr24182404otb.81.1560007573239; Sat, 08 Jun 2019 08:26:13 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!g15no413408itd.0!news-out.google.com!l135ni469itc.0!nntp.google.com!g15no413405itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 8 Jun 2019 08:26:12 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=179.176.43.109; posting-account=1Xv-6QoAAACDoVuHxsOQybzr2Y_PgwKz NNTP-Posting-Host: 179.176.43.109 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <47f671ea-bd40-4a98-8a34-8e99d94622cb@googlegroups.com> Subject: Starting learning ADA From: =?UTF-8?Q?Ricardo_Brand=C3=A3o?= Injection-Date: Sat, 08 Jun 2019 15:26:13 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:56558 Date: 2019-06-08T08:26:12-07:00 List-Id: Hi, This is my first contact with Ada language.=20 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 (us= ing gnatmake). But my idea is create more complex programs, running in IoT, desktop, and s= ervers. And as I'm doing my doctorate and need to do a prototype of a secur= e protocol to an IoT network, my idea is use Ada to force me learn Ada in a= n "almost" real application. But, I'm a bit confused on how to search, install, get some examples of lib= raries that I'll use to achieve my goal. For instance, googling some library to deal with Json files, I found out th= e GNATCOOL.JSON package [2].=20 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=3Dexecutable:gcc.exe -XGNATCOLL_MMAP=3Dyes -XGNAT= COLL_MADVISE=3Dyes -XGNATCOLL_VERSION=3D0.0 -XGNATCOLL_OS=3Dunix -XBUILD=3D= PROD --sources-subdir=3Dinclude/gnatcoll --prefix=3D/d/GNAT/2019/bin/.. -X= LIBRARY_TYPE=3Dstatic -XXMLADA_BUILD=3Dstatic -XGPR_BUILD=3Dstatic \ --build-name=3Dstatic -XGNATCOLL_MMAP=3Dyes -XGNATCOLL_MADV= ISE=3Dyes -XGNATCOLL_VERSION=3D0.0 -XGNATCOLL_OS=3Dunix -XBUILD=3DPROD \ --build-var=3DLIBRARY_TYPE --build-var=3DGNATCOLL_BUILD \ --build-var=3DGNATCOLL_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?=20 Thanks [1] https://learn.adacore.com/index.html [2] http://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/json.html?h= ighlight=3Djson [3] https://github.com/AdaCore/gnatcoll-core -- Ricardo Brand=C3=A3o