Asking for best practices to maintain a debian Ada package

2018-06-10 Thread Stephane Carrez
Hi! In the past, I've made several Debian packages for various Ada libraries and tools I'm writing. I've read carefully the Debian Ada policy and I think I followed what was explained. At the end, I was able to provide Debian packages for Ubuntu trusty (14.04) and raring (13.04). You may have a

Aflex and Ayacc debian packages

2018-07-21 Thread Stephane Carrez
Hi all, I've made several improvements on Aflex and Ayacc and I've also created a Debian package for Aflex. I've not seen Debian packages for these two Ada tools. The latest sources are now under the Ada-France umbrella GitHub repository: https://github.com/Ada-France/ayacc

Re: Asking for best practices to maintain a debian Ada package

2018-07-18 Thread Stephane Carrez
/ada-debian-pkg For now, I've not put all the "Build-Depends" dependencies because if I do it it becomes a nightmare to build since I need to install/uninstall the 7-dev packages. Stephane On Wed, Jun 20, 2018 at 9:52 PM, Ludovic Brenta wrote: > Stephane Carrez writes: >> Hi

Command 'gnat ls' does not work

2020-11-14 Thread Stephane Carrez
Hi! Sometimes I'm using the `gnat ls` command. It works like a charm with GNAT community but does not work on Debian. If you run it on xmlada_sax.gpr for example, you'll get: gnat ls -Pxmlada_sax.gpr Can't find ALI file for /usr/share/ada/adainclude/xmlada_sax/sax-symbols.adb Can't find ALI

Re: gnat-10 transition

2020-11-14 Thread Stephane Carrez
Hi! On 20/09/2020 16:44, Nicolas Boulenguez wrote: * If you use libgpr: gpr is renamed to gnatprj Like for gnatvsn, a compatibility gpr.gpr project is provided. Context: * Debian's gnat-6, like its predecessors, used to build a Debian-specific libgnaprj. * Around gnat-7

Debian packages for Ada Web Application 2.2.0

2021-03-21 Thread Stephane Carrez
Hi! Ada Web Application is a framework to build high performance secure web applications. With the new AWA 2.2.0 release, I took some time to make and provide Debian packages for the numerous libraries and tools the framework is composed of. I've built packages for Ubuntu 18.04 (gnat-7), Ubuntu

Re: ASIS, coinstall gnat-10 and 11, deprecate gnatgcc

2022-07-11 Thread Stephane Carrez
Hi! On 11/07/2022 15:12, Nicolas Boulenguez wrote: Hello. Anyone interested in Ada should read Jean-Pierre Rosen’s summary about ASIS in the Download section of https://www.adalog.fr/en/adacontrol.html. A possible workaround is to generate ASIS trees with the last gcc supporting them (10),

Debian package for Alire 1.2.1

2022-12-28 Thread Stephane Carrez
Hi! Last summer I've created a Debian package for the Alire 1.2.1 Ada package manager. Now I've switched to use git-buildpackage and I've used the following command to build it: gbp buildpackage --git-ignore-new --git-pristine-tar \ --git-pristine-tar-commit

Re: alire in Debian; dependencies of the package

2023-01-28 Thread Stephane Carrez
package, version 2.0. size 2962740 bytes: control archive=1648 bytes. 666 bytes,16 lines control 2386 bytes,35 lines md5sums Package: alire Version: 1.2.1-3 Architecture: amd64 Maintainer: Stephane Carrez Installed-Size: 16227 Depends: libc6 (>= 2.34), libgcc-s1 (>

Re: Bug#1029448: alire in Debian; dependencies of the package

2023-01-28 Thread Stephane Carrez
On 28/01/2023 16:28, Ludovic Brenta wrote: Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgnat-12 (>= 12.2.0), libgnatcoll21 (>= 23.0.0), libxmlezout7 (>= 1.06.2) is at odds with ciceron@theia:~/debian$ ldd /usr/bin/alr linux-vdso.so.1 (0x7ffc36dca000)

Re: Debian package for Alire 1.2.1

2023-01-26 Thread Stephane Carrez
Hi! On 26/01/2023 22:26, Ludovic Brenta wrote: Nicolas Boulenguez writes: It does not make sense to *integrate* a tool intending to overlap with distribution-specific integration tools like dpkg or rpm. [...] On the other hand, Debian may *distribute* Alire. Yes, I should have said

Re: Debian package for Alire 1.2.1

2023-01-22 Thread Stephane Carrez
Hi Ludovic, On 22/01/2023 15:38, Ludovic Brenta wrote: Stephane Carrez writes: gbp buildpackage --git-ignore-new --git-pristine-tar \ --git-pristine-tar-commit --git-upstream-tag='v1.2.1' \ --git-submodules Hello. I'm trying to dust off my very dusty skills