Message-ID:

Testing can show the presense of bugs, but not their absence. -- Dijkstra

devel / comp.lang.ada / Re: Trouble building with gnatcoll

Trouble building with gnatcoll

<de49cc32-40b7-45bc-b318-a83568d79b0en@googlegroups.com>

https://www.novabbs.com/devel/article-flat.php?id=6868&group=comp.lang.ada#6868

X-Received: by 2002:ae9:e317:0:b0:69f:b249:6beb with SMTP id v23-20020ae9e317000000b0069fb2496bebmr1480699qkf.14.1651283009770;
Fri, 29 Apr 2022 18:43:29 -0700 (PDT)
X-Received: by 2002:a0d:ffc3:0:b0:2eb:2327:3361 with SMTP id
p186-20020a0dffc3000000b002eb23273361mr2220133ywf.36.1651283009583; Fri, 29
Apr 2022 18:43:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 29 Apr 2022 18:43:29 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2601:3c3:400:b30:5bbb:11d1:c956:9424;
posting-account=JSxOkAoAAADa00TJoz2WZ_46XrZCdXeS
NNTP-Posting-Host: 2601:3c3:400:b30:5bbb:11d1:c956:9424
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <de49cc32-40b7-45bc-b318-a83568d79b0en@googlegroups.com>
Subject: Trouble building with gnatcoll
From: devo...@yahoo.com (John Perry)
Injection-Date: Sat, 30 Apr 2022 01:43:29 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 14

by: John Perry - Sat, 30 Apr 2022 01:43 UTC

Hello

I tried to build something with GnatColl from GPS Community 2021 on Fedora 35. The linker failed, saying

ld: /home/cantanima/common/Ada/Quoter/obj/gnatcoll-refcount.o: in function `gnatcoll__refcount__sync_bool_compare_and_swap':
gnatcoll-refcount.adb:(.text+0x622): undefined reference to `gnatcoll_sync_bool_compare_and_swap_access'
collect2: error: ld returned 1 exit status

I can fix this from the command line by copying the failed command and adding ~/opt/GNAT/2021/include/gnatcoll/gnatcoll_support.c to the list of things to compile, as that's the included file with the desired function. That's awfully inconvenient, though.

I guess I have something configured slightly wrong. Might anyone here have an idea?

(Also posting to StackOverflow.)

john perry

Re: Trouble building with gnatcoll

<ea322495-b14b-49b4-9436-3b311d2ab8d3n@googlegroups.com>

copy mid

https://www.novabbs.com/devel/article-flat.php?id=6870&group=comp.lang.ada#6870

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:622a:110d:b0:2f3:9bb0:8924 with SMTP id e13-20020a05622a110d00b002f39bb08924mr1607389qty.197.1651293049419;
Fri, 29 Apr 2022 21:30:49 -0700 (PDT)
X-Received: by 2002:a81:494c:0:b0:2ef:546f:127e with SMTP id
w73-20020a81494c000000b002ef546f127emr2499502ywa.335.1651293049230; Fri, 29
Apr 2022 21:30:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 29 Apr 2022 21:30:48 -0700 (PDT)
In-Reply-To: <de49cc32-40b7-45bc-b318-a83568d79b0en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:3c3:400:b30:5bbb:11d1:c956:9424;
posting-account=JSxOkAoAAADa00TJoz2WZ_46XrZCdXeS
NNTP-Posting-Host: 2601:3c3:400:b30:5bbb:11d1:c956:9424
References: <de49cc32-40b7-45bc-b318-a83568d79b0en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ea322495-b14b-49b4-9436-3b311d2ab8d3n@googlegroups.com>
Subject: Re: Trouble building with gnatcoll
From: devo...@yahoo.com (John Perry)
Injection-Date: Sat, 30 Apr 2022 04:30:49 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 4

by: John Perry - Sat, 30 Apr 2022 04:30 UTC

Subject	Author
Trouble building with gnatcoll	John Perry
Re: Trouble building with gnatcoll	John Perry