This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
Git Clone URL: | https://aur.archlinux.org/gnatdoc.git (read-only, click to copy) |
---|---|
Package Base: | gnatdoc |
Description: | GNAT documentation generation tool. |
Upstream URL: | https://github.com/AdaCore/gnatdoc |
Submitter: | charlie5 |
Maintainer: | charlie5 |
Last Packager: | charlie5 |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2022-11-19 07:53 (UTC) |
Last Updated: | 2024-05-31 06:35 (UTC) |
This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
hi @tfl5034,
Libadalang is already an (indirect) dependency of gnatdoc (via gpr-unit-provider). The error you get appears to be due to your libadalang being an older version (not 24.0w). 'libadalang-project_provider.ads:57' in the new 24.0w version points to a line of comment code.
Can you please try re-building libadalang and let me know if you still get this same problem?
Regards.
It looks like libadalang
should be added as a dependency. Currently I get the following error.
gnatdoc-projects.adb:203:41: error: missing argument for parameter "Env" in call to "Create_Project_Unit_Provider" declared at libadalang-project_provider.ads:57
compilation of gnatdoc-projects.adb failed
gprbuild: *** compilation phase failed
make: *** [Makefile:4: all] Error 4
==> ERROR: A failure occurred in build().
Aborting...
error: failed to build 'gnatdoc-24.0w-1':
Thanks @tfl5034
The patch works nicely. Much appreciated.
I fixed my issue on my machine with the following patch which forces gpr2 to be built/installed as a static library instead of a relocatable library:
diff --git a/PKGBUILD b/PKGBUILD
index 5c8ec57..e39cf6e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=gnatdoc
pkgver=23.0.0
-pkgrel=3
+pkgrel=4
pkgdesc='GNAT documentation generation tool.'
url='https://github.com/AdaCore/gnatdoc'
@@ -21,14 +21,14 @@ build()
cd "$srcdir/$pkgname-$pkgver"
gprbuild -j0 -p -P gnat/libgnatdoc.gpr -XSUPERPROJECT=
- gprbuild -j0 -p -P gnat/gnatdoc.gpr -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XSUPERPROJECT= -XGPR_UNIT_PROVIDER_BUILD=release
+ gprbuild -j0 -p -P gnat/gnatdoc.gpr -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XGPR2_LIBRARY_TYPE=static -XSUPERPROJECT= -XGPR_UNIT_PROVIDER_BUILD=release
}
package()
{
cd "$srcdir/$pkgname-$pkgver"
- gprinstall gnat/gnatdoc.gpr --prefix="$pkgdir/usr" --create-missing-dirs
+ gprinstall gnat/gnatdoc.gpr --prefix="$pkgdir/usr" --create-missing-dirs -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XGPR2_LIBRARY_TYPE=static
gprinstall gnat/libgnatdoc.gpr --prefix="$pkgdir/usr" --create-missing-dirs
I had a similar error when building 'gnatdoc'.
Setup
[mkdir] exec directory for project GNATdoc
gpr_unit_provider.gpr:16:17: shared library project "gpr_unit_provider" cannot import static library project "gpr2"
gpr_unit_provider.gpr:16:17: shared library project "gpr_unit_provider" cannot import static library project "libadalang"
gpr_unit_provider.gpr:16:17: shared library project "gpr_unit_provider" cannot import static library project "gnatcoll_gmp" ...
Setting 'ENABLE_SHARED=no' in gpr-unit-provider 'PKGBUILD' appears to have fixed the problem.
You're right. Usually I can figure out when it's a problem solved by rebuilding dependencies, but this didn't match the pattern, so I didn't even try!
Hi @tfl5034, I encountered the same problem earlier today. I'm not certain of the cause but possibly some of the lower level dependencies need to be rebuilt.
When I ran $ sudo pacman -Rsc gcc-ada and then cleared the /var/cache/pacman/pkg folder to force a rebuild of all the ada packages, the problem no longer occurred.
Not very elegant, I admit, but a workaround for the moment.
Also, if you are using pacaur or pikaur, you may need to clear their caches also (both in '~/.cache').
In the meantime, I'll try investigate the cause.
Regards.
Hi @charlie5, I am working on installing the dependencies for ada_language_server so I can test my new PKGBUILD and I see the following errors when building gnatdoc:
gprbuild -j0 -p -P gnat/gnatdoc.gpr -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XSUPERPROJECT= -XGPR_UNIT_PROVIDER_BUILD=debug
Setup
[mkdir] exec directory for project GNATdoc
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "gnatcoll_iconv"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "gnatcoll"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "xmlada_dom"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "xmlada_input"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "xmlada_unicode"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "xmlada_sax"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "xmlada_schema"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "gpr"
gpr2.gpr:13:17: shared library project "gpr2" cannot import static library project "gnatcoll_gmp"
gprbuild: "gnat/gnatdoc.gpr" processing failed
I believe all these dependencies are installed as both static and relocatable libraries, but perhaps the build flags should be adjusted to use the relocatable versions.
Pinned Comments
charlie5 commented on 2023-07-09 16:41 (UTC)
This package is available in the Arch Ada Repository.