Add jupyter_kernel (#169 )

2020-10-14 13:23:46 +02:00
74 changed files with 184 additions and 1443 deletions
@@ -19,7 +19,6 @@ jobs:
          - ubuntu-latest
          - windows-latest
        tag:
-          - arch-rolling
          - centos-latest-community-latest
          - community-current          
          - debian-stable          
@@ -28,8 +27,6 @@ jobs:
        exclude: # inclusions don't allow to add arrays of values to a scenario
          - os: ubuntu-latest
            tag: ""
-          - os: macos-latest
-            tag: arch-rolling
          - os: macos-latest
            tag: centos-latest-community-latest
          - os: macos-latest
@@ -38,8 +35,6 @@ jobs:
            tag: debian-stable
          - os: macos-latest
            tag: ubuntu-lts
-          - os: windows-latest
-            tag: arch-rolling
          - os: windows-latest
            tag: centos-latest-community-latest
          - os: windows-latest
@@ -61,18 +56,18 @@ jobs:

    - name: Set up GNAT toolchain (FSF)
      if: matrix.os == 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@dev
      with:
        distrib: fsf # faster install?

    - name: Set up GNAT toolchain (Community)
      if: matrix.os != 'ubuntu-latest'
-      uses: ada-actions/toolchain@ce2020
+      uses: ada-actions/toolchain@dev
      with:
        distrib: community

    - name: Set up `alr`
-      uses: alire-project/setup-alire@latest-stable
+      uses: mosteo/setup-alire@exp

    - name: Test crate (Linux)
      if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -80,11 +75,10 @@ jobs:
      with:
        image: alire/gnat:${{matrix.tag}}
        command: scripts/gh-build-crate.sh
-        params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr

    - name: Set up msys2 (Windows)
      if: matrix.os == 'windows-latest'
-      run: ./alire_install/bin/alr --non-interactive version
+      run: ./alire/bin/alr --non-interactive version

    - name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
      if: matrix.os == 'windows-latest'
@@ -5,17 +5,11 @@ jobs:
    runs-on: ubuntu-latest    
    steps:
    - uses: actions/checkout@master
-
    - uses: alire-project/check-author@master
      with:
        repo-token: "${{ secrets.GITHUB_TOKEN }}"
-
-    - uses: alire-project/setup-alire@latest-stable
-
+    - uses: alire-project/setup-alire@dev
    - run: alr index --list
-
    - run: alr index --add=. --name=local_index
-
    - run: alr index --update-all 
-
    - run: alr list
@@ -1,26 +0,0 @@
-name = "aaa"
-version = "0.2.1"
-description = "Alex's Ada Assortment (of miscellaneous utilities)"
-
-long-description = """
-Alex's Ada Assortment of Utilities
-
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String vectors.
- Simple subprocess spawning.
-"""
-
-authors = ["Alejandro R. Mosteo"]
-licenses = ["LGPL 3.0"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["miscellanea", "utility"]
-website = "https://github.com/mosteo/aaa"
-
-[origin]
-commit = "103f0d1954aa1181542baa939bae44ca98bff05f"
-url = "git+https://github.com/mosteo/aaa.git"
-
@@ -1,17 +0,0 @@
-name = "ada_lua"
-description = "An Ada binding for lua"
-version = "0.1.0"
-authors = ["Nicolas Roche <roche@adacore.com>"]
-maintainers = ["Nicolas Roche <roche@adacore.com>"]
-maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
-website = "https://github.com/adacore/ada-lua"
-licenses = ["GMGPL 3.0"]
-tags = ["lua", "binding", "script"]
- 
-[[depends-on]]
-liblua = "~5.3"
-
-[origin]
-commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
-url = "git+https://github.com/AdaCore/ada-lua.git"
-
@@ -1,71 +0,0 @@
-description = "Ada Industrial Control Widgets Library"
-long-description = """
-This crate provides a library for designing high-quality industrial control
-widgets for Ada applications. The software is based on
-[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
-Ada bindings to [Gtk+](https://www.gtk.org/), and
-[cairo](https://www.cairographics.org/manual/index.html).
-
-The key features of the library are:
-
-* Widgets composed of transparent layers drawn by cairo
-* Fully scalable graphics
-* Support of time controlled refresh policy for real-time and heavy-duty applications
-* Caching graphical operations
-* Stream I/O support for serialization and deserialization
-* Ready-to-use gauge, meter, oscilloscope widgets
-* Editor widget for WYSIWYG design of complex dashboards
-
-For further information, visit the
-[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
-
-Maintainer's note:
-
-This Alire crate is packaged in a rather minimalistic way to keep dependencies
-on external libraries at a minimum. The crate's definition covers the core
-functionality of AICWL, though, so it should be sufficient for most needs.
-
-For example, the original distribution has references to
-[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
-not strictly necessary for the core functionality of the library.
-"""
-name = "aicwl"
-version = "3.24.1"
-authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
-website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
-licenses = ["GMGPL 2.0", # according to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
-            "LGPL 3.0"]  # according to sourceforge (https://sf.net/projects/aicwl)
-maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
-maintainers-logins = ["Jellix"]
-project-files = ["sources/aicwl.gpr",       # The library itself
-                 "sources/aicwl-editor.gpr" # UI editor component
-                 # Examples and tests omitted here
-                 ]
-
-tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
-
-[gpr-externals]
-Legacy      = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
-Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
-
-# Target_OS   = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
-# arch        = ["x86_64", "i686", "armhf", "aarch64", "auto"]
-#
-# Note: Arch and Target_OS are determined automatically from Project'Target, so
-#       no need to have them set explicitely.
-#
-# Object_Dir  = [".", "nested"]
-#
-# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
-#       "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
-#       e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
-#       being unchanged.
-#       Hence we should leave it as is (the default is "."), trusting Alire to
-#       set an appropriate one.
-
-[[depends-on]]
-gtkada = ">=17"
-
-[origin]
-commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
-url = "git+https://github.com/HeisenbugLtd/aicwl.git"
@@ -1,15 +0,0 @@
-name = "atomic"
-description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
-version = "0.1.0"
-
-licenses = ["MIT"]
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/atomic"
-tags = ["atomic", "spark", "embedded", "nostd"]
-
-[origin]
-commit = "1951459d24343b55dc814d257447756a18b149cd"
-url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-
@@ -1,15 +0,0 @@
-name = "atomic"
-description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
-version = "0.2.0"
-
-licenses = ["MIT"]
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/atomic"
-tags = ["atomic", "spark", "embedded", "nostd"]
-
-[origin]
-commit = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
-url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-
@@ -1,17 +0,0 @@
-description = "Ada unit test framework"
-name = "aunit"
-version = "21.0.0"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["lib/gnat/aunit.gpr"]
-tags=["unit", "test", "unit-test"]
-
-[gpr-externals]
-AUNIT_BUILD_MODE = ["Devel", "Install"]
-AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
-
-[origin]
-url="https://github.com/AdaCore/aunit/archive/v21.0.0.zip"
-hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
@@ -1,45 +0,0 @@
-description = "Ada Web Server"
-website = "https://github.com/adacore/aws"
-name = "aws"
-version = "21.0.0"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["install_dir/share/gpr/aws.gpr"]
-tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
-
-# Since the AWS project doesn't build alone with just gprbuild we build and
-# install with the Makefile from post-fetch action.
-[[actions]]
-type = "post-fetch"
-command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false", 
-           "LAL=false", "XMLADA=false", "prefix=install_dir"]
-
-[[depends-on]]
-make = "*"
-xmlada = "~21.0.0"
-gnat = ">=9"
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "relocatable"]
-PRJ_BUILD = ["Debug", "Release"]
-PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
-PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
-
-[gpr-set-externals]
-PRJ_LAL="Disabled"
-
-[gpr-set-externals."case(os)".linux]
-PRJ_TARGET = "UNIX"
-TARGET = "x86_64-linux-gnu"
-
-[gpr-set-externals."case(os)".macos]
-PRJ_TARGET = "Darwin"
-
-[gpr-set-externals."case(os)".windows]
-PRJ_TARGET = "Windows_NT"
-
-[origin]
-url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
-hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
@@ -0,0 +1,17 @@
+description = "Ada Web Server"
+name = "aws"
+licenses = []
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+hint = "Available through GNAT CE bundles"
+kind = "hint"
+[external.available."case(toolchain)"]
+system = false
+
+[[external]]
+kind = "system"
+origin = ["libaws3.3.2.2-dev"]
+[external.available."case(toolchain)"]
+user = false
@@ -1,22 +0,0 @@
-name = "bbqueue"
-description = "DMA friendly lock-free BipBuffer"
-version = "0.1.0"
-
-licenses = ["MIT"]
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
-website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
-
-long-description = """An Ada/SPARK proved implementation of James Munns'
-BBQueue (https://github.com/jamesmunns/bbqueue)"""
-
-[[depends-on]]
-atomic = "*"
-gnat = ">=10"
-
-[origin]
-commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
-url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
-
@@ -1,33 +0,0 @@
-description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
-long-description = '''# cortex-m
-
-Ada drivers for the peripherals of ARM Cortex-M micro-controllers
-(NVIC,\nSysTick, etc.)
-
-This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "cortex_m"
-version = "0.3.0"
-licenses = ["BSD 3-Clauses"]
-authors=["AdaCore"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
-tags = ["embedded", "arm", "nostd"]
-
-auto-gpr-with=false # User has to select only one project file
-
-[[depends-on]]
-hal = "^0.1.0"
-
-[origin]
-commit = "2ed1d3d3324385f9f2183cfb9f562bb215d7a509"
-url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-
@@ -1,15 +0,0 @@
-name = "curl"
-description = "Command-line tool for transferring data with URL syntax"
-
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"..." = ["curl"]
-
-[[external]]
-kind = "version-output"
-version-command = ["curl", "--version"]
-version-regexp  = '^curl ([\d\.?]+).*'
@@ -1,15 +0,0 @@
-name = "dotenv"
-description = "Loads environment variables from .env for Ada projects."
-version = "1.0.0"
-
-authors = ["Heziode"]
-maintainers = ["Heziode <heziode@protonmail.com>"]
-maintainers-logins = ["Heziode"]
-licenses = ["BSD 2-Clauses"]
-website = "https://github.com/Heziode/ada-dotenv"
-tags = ["dotenv", "env", "environment", "variables", "config", "settings"]
-
-[origin]
-commit = "a19c7797b88954d90e3b11bc003eca0d262f3a39"
-url = "git+https://github.com/Heziode/ada-dotenv.git"
-
@@ -8,7 +8,7 @@ project-files = ["eagle_lander.gpr"]
 tags = ["simulator", "game", "gtk"]

 [[depends-on]]
-gtkada = "^21"
+gtkada = "^17"

 [origin]
 url = "https://github.com/Fabien-Chouteau/eagle-lander/releases/download/v1.2/eagle_lander-1.2.zip"
@@ -0,0 +1,34 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+version = "2018.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
+
+[[depends-on]]
+gnat = "^2018"
+
+[gpr-externals]
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+LIBRARY_TYPE = "static-pic"
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_OS = "unix"
+
+[gpr-set-externals."case(os)".macos]
+GNATCOLL_OS = "osx"
+
+[gpr-set-externals."case(os)".windows]
+GNATCOLL_OS = "windows"
+
+[origin]
+url = "https://community.download.adacore.com/v1/213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="
+archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
+hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
@@ -0,0 +1,34 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gnatcoll.gpr"]
+
+[[depends-on]]
+gnat = "^2019"
+
+[gpr-externals]
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+LIBRARY_TYPE = "static-pic"
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_OS = "unix"
+
+[gpr-set-externals."case(os)".macos]
+GNATCOLL_OS = "osx"
+
+[gpr-set-externals."case(os)".windows]
+GNATCOLL_OS = "windows"
+
+[origin]
+url = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename="
+archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz"
+hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"]
@@ -1,34 +0,0 @@
-name = "gnatcoll"
-version = "21.0.0"
-description = "GNAT Components Collection - Core packages"
-website = "https://github.com/adacore/gnatcoll-core"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["gnatcoll.gpr"]
-tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
-
-[gpr-externals]
-GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-GNATCOLL_OS = ["windows", "unix", "osx"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-
-[gpr-set-externals."case(os)".linux]
-GNATCOLL_OS = "unix"
-[gpr-set-externals."case(os)".macos]
-GNATCOLL_OS = "osx"
-[gpr-set-externals."case(os)".windows]
-GNATCOLL_OS = "windows"
-
-[gpr-set-externals]
-GNATCOLL_VERSION = "21.0.0"
-
-[[depends-on]]
-libgpr = "~21.0.0"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip"
-hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']
@@ -0,0 +1,11 @@
+description = "GNAT Components Collection - Core packages"
+name = "gnatcoll"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+
+[[external]]
+kind = "system"
+[external.origin."case(distribution)"]
+"debian|ubuntu" = ["libgnatcoll16.1.0-dev", "libgnatcoll17-dev", "libgnatcoll18-dev"]
@@ -0,0 +1,28 @@
+description = "GNAT Components Collection - Bindings to GMP"
+name = "gnatcoll_gmp"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["gmp/gnatcoll_gmp.gpr"]
+
+[[depends-on]]
+gnat = ">=9.0"
+gnatcoll = "^2019"
+libgmp = "^6.1"
+
+[gpr-externals]
+GNATCOLL_VERSION = ""
+BUILD = ["DEBUG", "PROD"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+GNATCOLL_VERSION = "2019"
+LIBRARY_TYPE = "static-pic"
+
+[origin]
+url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
+archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
+hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,22 +0,0 @@
-name = "gnatcoll_gmp"
-version = "21.0.0"
-description = "GNAT Components Collection - gomp binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["gmp/gnatcoll_gmp.gpr"]
-tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libgmp = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,38 @@
+description = "GNAT Components Collection - Bindings to libiconv"
+name = "gnatcoll_iconv"
+version = "2019.0.0"
+authors = ["AdaCore"]
+licenses = ["GPL 3.0"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+project-files = ["iconv/gnatcoll_iconv.gpr"]
+
+[[depends-on]]
+gnat = ">=9.0"
+gnatcoll = "^2019"
+
+[gpr-externals]
+GNATCOLL_ICONV_OPT = ""
+GNATCOLL_VERSION = ""
+BUILD = ["DEBUG", "PROD"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+
+[gpr-set-externals]
+BUILD = "PROD"
+GNATCOLL_ICONV_OPT = ""
+GNATCOLL_VERSION = "2019"
+LIBRARY_TYPE = "static-pic"
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_OS = "unix"
+
+[gpr-set-externals."case(os)".macos]
+GNATCOLL_OS = "osx"
+
+[gpr-set-externals."case(os)".windows]
+GNATCOLL_OS = "windows"
+
+[origin]
+url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
+archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
+hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,29 +0,0 @@
-name = "gnatcoll_iconv"
-version = "21.0.0"
-description = "GNAT Components Collection - iconv binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["iconv/gnatcoll_iconv.gpr"]
-tags = ["gnatcoll", "bindings", "iconv", "i18n"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
-# environement variable as not being set. So we use a harmless linker option to
-# have a non-empty GNATCOLL_ICONV_OPT.
-[gpr-set-externals."case(os)".linux]
-GNATCOLL_ICONV_OPT = "-v"
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-[depends-on."case(os)".windows]
-libiconv = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
-name = "gnatcoll_lzma"
-version = "21.0.0"
-description = "GNAT Components Collection - lzma binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["lzma/gnatcoll_lzma.gpr"]
-tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-liblzma = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
-name = "gnatcoll_omp"
-version = "21.0.0"
-description = "GNAT Components Collection - gomp binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["omp/gnatcoll_omp.gpr"]
-tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libgomp = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,23 +0,0 @@
-name = "gnatcoll_postgres"
-version = "21.0.0"
-description = "GNAT Components Collection - postgres"
-website = "https://github.com/adacore/gnatcoll-db"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["postgres/gnatcoll_postgres.gpr"]
-tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-gnatcoll_sql = "~21.0.0"
-postgresql = "*"
-
-[origin]
-url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
-hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,30 +0,0 @@
-name = "gnatcoll_python"
-version = "21.0.0"
-description = "GNAT Components Collection - python2 binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["python/gnatcoll_python.gpr"]
-tags = ["gnatcoll", "bindings", "python", "python2"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[environment.'case(distribution)']
-"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python2.7/" }
-msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python2.7/" }
-
-[available.'case(distribution)']
-'debian|ubuntu|msys2' = true
-'...' = false
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libpython2dev = "^2"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,30 +0,0 @@
-name = "gnatcoll_python3"
-version = "21.0.0"
-description = "GNAT Components Collection - python3 binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["python3/gnatcoll_python.gpr"]
-tags = ["gnatcoll", "bindings", "python", "python3"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[environment.'case(distribution)']
-"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python3.7/:${DISTRIB_ROOT}/usr/include/python3.8/"}
-msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python3.8/" }
-
-[available.'case(distribution)']
-'debian|ubuntu|msys2' = true
-'...' = false
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libpython3dev = "^3"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
-name = "gnatcoll_readline"
-version = "21.0.0"
-description = "GNAT Components Collection - readline binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["readline/gnatcoll_readline.gpr"]
-tags = ["gnatcoll", "bindings", "readline", "cli"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libreadline = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,21 +0,0 @@
-name = "gnatcoll_sql"
-version = "21.0.0"
-description = "GNAT Components Collection - sql"
-website = "https://github.com/adacore/gnatcoll-db"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["sql/gnatcoll_sql.gpr"]
-tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-
-[origin]
-url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
-hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,22 +0,0 @@
-name = "gnatcoll_sqlite"
-version = "21.0.0"
-description = "GNAT Components Collection - sqlite"
-website = "https://github.com/adacore/gnatcoll-db"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["sqlite/gnatcoll_sqlite.gpr"]
-tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-gnatcoll_sql = "~21.0.0"
-
-[origin]
-url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
-hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,25 +0,0 @@
-name = "gnatcoll_syslog"
-version = "21.0.0"
-description = "GNAT Components Collection - syslog binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["syslog/gnatcoll_syslog.gpr"]
-tags = ["gnatcoll", "bindings", "syslog", "logging"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[available.'case(os)']
-'windows' = false
-'...' = true
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,24 +0,0 @@
-name = "gnatcoll_xref"
-version = "21.0.0"
-description = "GNAT Components Collection - xref"
-website = "https://github.com/adacore/gnatcoll-db"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["xref/gnatcoll_xref.gpr"]
-tags = ["gnatcoll", "database", "xref", "ali"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-gnatcoll_iconv = "~21.0.0"
-gnatcoll_sql = "~21.0.0"
-gnatcoll_sqlite = "~21.0.0"
-
-[origin]
-url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
-hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,22 +0,0 @@
-name = "gnatcoll_zlib"
-version = "21.0.0"
-description = "GNAT Components Collection - zlib binding"
-website = "https://github.com/adacore/gnatcoll-bindings"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["zlib/gnatcoll_zlib.gpr"]
-tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
-
-[gpr-externals]
-GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-zlib = "*"
-
-[origin]
-url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
-hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,45 +0,0 @@
-description = "An Ada graphical toolkit based on Gtk+"
-website = "https://github.com/adacore/gtkada"
-name = "gtkada"
-version = "21.0.0"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["install_dir/lib/gnat/gtkada.gpr"]
-tags = ["gtk", "gui"]
-
-# Add msys in the OS list in config.sub
-[[actions]]
-type = "post-fetch"
-command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
-
-[[actions]]
-type = "post-fetch"
-command = ["bash", "configure", "--with-GL=no"]
-
-# Since the GTKAda project doesn't build alone with just gprbuild we build and
-# install with the Makefile from post-fetch action.
-[[actions]]
-type = "post-fetch"
-command = ["make", "all", "install", "prefix=install_dir"]
-
-[[depends-on]]
-make = "*"
-pkg_config = "*"
-libgtk3 = "^3"
-
-[depends-on.'case(os)'.windows]
-winpthreads = "*"
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
-
-[environment.'case(distribution)']
-msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
-msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
-
-[origin]
-url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
-hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]
-
@@ -0,0 +1,13 @@
+description = "Ada binding for the GTK+ GUI"
+name = "gtkada"
+licenses = []
+maintainers = ["alejandro@mosteo.com"]
+maintainers-logins = ["mosteo"]
+
+[[external]]
+kind = "system"
+available."case(toolchain)".user = false
+
+[external.origin."case(distribution)"]
+debian = ["libgtkada18-dev"]
+ubuntu = ["libgtkada16.1.0-dev", "libgtkada19-dev"]
@@ -1,20 +0,0 @@
-name = "iterators"
-description = "Functional iterators a la Rust"
-version = "0.1.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-website = "https://github.com/mosteo/iterators"
-
-licenses = ["LGPL 3.0"]
-tags = ["iterators", "functional"]
-
-[[depends-on]]
-aaa = "~0.2.1"
-gnat = ">=10"
-
-[origin]
-commit = "b3abe21ddb9a35e5bdbff6a1656dc8dcbb79a6fc"
-url = "git+https://github.com/mosteo/iterators.git"
-
@@ -1,23 +0,0 @@
-name = "lal_highlight"
-description = "Simple code highlighters based on Libadalang"
-version = "21.0.0"
-
-authors = ["AdaCore"]
-maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers-logins = ["pmderodat"]
-licenses = ["GMGPL 3.0"]
-website = "https://github.com/AdaCore/libadalang"
-tags = ["libadalang", "static-analysis"]
-
-project-files = ["highlight.gpr"]
-executables = ["highlight", "ada2web"]
-
-[origin]
-url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/highlight-21.0.0.tar.gz"
-archive-name = "highlight-21.0.0.tar.gz"
-hashes = ["sha512:357f237b90559b05bab454b6dafda2949d663b87db2704f2c23cc3e3d3400a8a60609382a7f5489419b19b2a38195e25cfa030e7cf4a7887df1566222014ef98"]
-
-[[depends-on]]
-gnatcoll_iconv = "^21"
-[[depends-on]]
-libadalang = "^21"
@@ -1,22 +0,0 @@
-name = "langkit_support"
-description = "Runtime support library for Langkit-generated libraries"
-version = "21.0.0"
-
-authors = ["AdaCore"]
-maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers-logins = ["pmderodat"]
-licenses = ["GMGPL 3.0"]
-website = "https://github.com/AdaCore/langkit"
-
-[gpr-set-externals."case(toolchain)".system]
-LIBRARY_TYPE = "relocatable"
-
-[origin]
-url = "https://github.com/AdaCore/langkit/releases/download/v21.0.0/langkit_support-21.0.0.tar.gz"
-archive-name = "langkit_support-21.0.0.tar.gz"
-hashes = ["sha512:b52319d5b7fac6b8866b618105edc4c4a4a98d785a61b6e8c3096921b117bea9629854ebdcd956eb005604cdc78686cd4577d27121cdb41339ee73bb4222168b"]
-
-[[depends-on]]
-gnatcoll = "^21"
-[[depends-on]]
-gnatcoll_iconv = "^21"
@@ -1,24 +0,0 @@
-name = "libadalang"
-description = "Ada semantic analysis library"
-version = "21.0.0"
-
-authors = ["AdaCore"]
-maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
-maintainers-logins = ["pmderodat"]
-licenses = ["GMGPL 3.0"]
-website = "https://github.com/AdaCore/libadalang"
-tags = ["libadalang", "static-analysis"]
-
-[origin]
-url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/libadalang-21.0.0.tar.gz"
-archive-name = "libadalang-21.0.0.tar.gz"
-hashes = ["sha512:955d25549416658815862829499b7f02008990922a32102afacefc760e835c8b054129c60e41dbcc6035d7e917c9450c71cc5edf79f3707b8073e5245800c110"]
-
-[[depends-on]]
-gnatcoll = "^21"
-[[depends-on]]
-gnatcoll_gmp = "^21"
-[[depends-on]]
-gnatcoll_iconv = "^21"
-[[depends-on]]
-langkit_support = "^21"
@@ -1,11 +0,0 @@
-description = "GNU OpenMP library"
-name = "libgomp"
-licenses = []
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libgomp1"]
-msys2=["mingw-w64-x86_64-gcc"]
@@ -1,23 +0,0 @@
-name = "libgpr"
-version = "21.0.0"
-description = "GNAT Project File Library"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["gpr/gpr.gpr"]
-
-[[actions.'case(os)'.macos]]
-type = "post-fetch"
-command = ["sed", "-i", "", "s/st_mtim/st_mtimespec/", "gpr/src/gpr_imports.c"]
-
-[gpr-externals]
-GPR_BUILD = ["debug", "production", "coverage", "profiling"]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-
-[[depends-on]]
-xmlada = "~21.0.0"
-
-[origin]
-url="https://github.com/AdaCore/gprbuild/archive/v21.0.0/gprbuild-21.0.0.zip"
-hashes=['sha512:49263e36e5431356f60630129c8fbebf7dcdca7083fd47b2ee1a4fa80e84cb09748f2d8bc660b68850ad62634b9c8ba57b287b4934d0c908becd1a52b8b7e1fc']
@@ -1,11 +0,0 @@
-description = "GObject-based multi-platform GUI toolkit (v3)"
-name = "libgtk3"
-licenses = ["LGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libgtk-3-dev"]
-msys2 = ["mingw-w64-x86_64-gtk3"]
@@ -1,10 +0,0 @@
-description = "GNU libiconv"
-name = "libiconv"
-licenses = ["LGPL 2.1"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-msys2 = ["mingw-w64-x86_64-libiconv"]
@@ -1,10 +0,0 @@
-description = "The GNU Readline Library"
-name = "liblzma"
-licenses = ["GPL 2.0", "GPL 3.0", "LGPL 2.1"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["liblzma-dev"]
@@ -1,11 +0,0 @@
-description = "Header files and a static library for Python2"
-name = "libpython2dev"
-licenses = ["Custom"] # PSF is not available in Alire yet
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libpython2-dev"]
-msys2 = ["mingw-w64-x86_64-python2"]
@@ -1,11 +0,0 @@
-description = "Header files and a static library for Python3"
-name = "libpython3dev"
-licenses = ["Custom"] # PSF is not available in Alire yet
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libpython3-dev"]
-msys2 = ["mingw-w64-x86_64-python"]
@@ -1,11 +0,0 @@
-description = "The GNU Readline Library"
-name = "libreadline"
-licenses = ["GPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["libreadline-dev"]
-msys2 = ["mingw-w64-x86_64-readline"]
@@ -1,14 +0,0 @@
-name = "littlefs"
-description = "Ada/SPARK binding for the LittleFS flash embedded filesystem"
-version = "0.1.0"
-licenses = ["BSD 3-Clauses"]
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-website = "https://github.com/Fabien-Chouteau/littlefs-ada"
-tags = ["embedded", "filesystem", "nostd", "flash"]
-
-[origin]
-commit = "90f31b47aad40519b9288d8adfbdf459310fff7f"
-url = "git+https://github.com/Fabien-Chouteau/littlefs-ada.git"
-
@@ -1,31 +0,0 @@
-description = "Middleware layer of the Ada Drivers Library project"
-long-description = '''# microbit BSP
-
-Board Support Package for the BBC micro:bit https://microbit.org/
-
-This crate is a snapshot of [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).
-
-Any bug report, issue, contribution must be adressed to the [Ada Drivers
-Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
-
-'''
-
-name = "microbit_bsp"
-version = "0.2.0"
-licenses = ["BSD 3-Clauses"]
-website="https://github.com/AdaCore/Ada_Drivers_Library/"
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["adl_middleware.gpr"]
-tags = ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"]
-
-[[depends-on]]
-hal = "^0.1.0"
-nrf5x_hal = "^0.1.0"
-embedded_components = "^0.1.0"
-
-[origin]
-commit = "74e9a20abe272d56c365255096255a311648c1f8"
-url = "git+https://github.com/Fabien-Chouteau/microbit_bsp.git"
-
@@ -1,19 +0,0 @@
-name = "minirest"
-description = "Minimalist Ada REST client library"
-version = "0.1.0"
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-
-licenses = ["MIT"]
-tags = ["rest"]
-website = "https://github.com/mosteo/minirest"
-
-[[depends-on]]
-aaa = "~0.2.1"
-curl = "*"
-
-[origin]
-commit = "272ecd15a6b2033296283f5121f82da5b00a40b1"
-url = "git+https://github.com/mosteo/minirest.git"
@@ -1,17 +0,0 @@
-description = "Example project for the MiniSAM D51"
-name = "minisamd51_example"
-version = "0.1.1"
-licenses = ["BSD 3-Clauses"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-authors = ["Fabien Chouteau <chouteau@adacore.com>"]
-tags = ["embedded", "nostd", "samd51", "minisam"]
-website="https://github.com/Fabien-Chouteau/minisamd51_example"
-
-[[depends-on]]
-minisamd51_bsp = "^0.1.0"
-
-[origin]
-commit = "098d9273990a4447b5a2574c3b4b6c060b8005bf"
-url = "git+https://github.com/Fabien-Chouteau/minisamd51_example.git"
-
@@ -1,11 +0,0 @@
-description = ""
-name = "pkg_config"
-licenses = ["LGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["pkg-config"]
-msys2 = ["mingw-w64-x86_64-pkg-config"]
@@ -1,11 +0,0 @@
-description = "PostgreSQL relational database management system"
-name = "postgresql"
-licenses = ["PostgreSQL"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-"debian|ubuntu" = ["postgresql"]
-msys2 = ["mingw-w64-x86_64-postgresql"]
@@ -1,40 +0,0 @@
-name = "rclada"
-description = "ROS2 Ada Client Library"
-version = "0.1.0"
-licenses = ["LGPL 3.0"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-tags = ["ros", "robotics", "client"]
-website = "https://github.com/ada-ros/ada4ros2"
-
-project-files = ["install/rclada/share/gpr/rcl.gpr"]
-
-[[depends-on]]
-ros2_foxy = "*"
-
-[environment]
-# Needed to source setup.bash in client packages
-RCLADA_INSTALL_DIR.set = "${CRATE_ROOT}/install"
-# Needed to locate project files here and in clients
-GPR_PROJECT_PATH.append = "${CRATE_ROOT}/install/rclada/share/gprauto:${CRATE_ROOT}/install/rclada_common/share/gpr:${CRATE_ROOT}/install/rosidl_generator_ada/share/gpr:${CRATE_ROOT}/install/rosidl_generator_ada/share/gprauto"
-# Needed to locate libraries
-LD_LIBRARY_PATH.append = "/opt/ros/foxy/lib"
-
-[[actions]]
-type = "post-fetch"
-command = ["./build.bash"]
-
-[[actions]]
-type = "pre-build"
-command = ["./build.bash"]
-
-[available.'case(distribution)']
-ubuntu = true
-'...' = false
-
-[origin]
-commit = "e390763f633c441d0d92a5f9e0c72a544c1d6fbd"
-url = "git+https://github.com/ada-ros/rclada_alire.git"
-
@@ -1,42 +0,0 @@
-name = "rclada_examples"
-description = "ROS2 Ada Client Library - Examples"
-version = "0.1.0"
-licenses = ["LGPL 3.0"]
-
-authors = ["Alejandro R. Mosteo"]
-maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
-maintainers-logins = ["mosteo"]
-tags = ["ros", "robotics", "client"]
-website = "https://github.com/ada-ros/ada4ros2"
-
-project-files = ["src/rclada_examples/examples.gpr"]
-executables = ["add_two_ints_client",
-               "add_two_ints_server",
-               "add_two_ints_client_async",
-               "graph_info",
-               "listener",
-               "listener_metadata",
-	           "pong_class",
-               "pong_generic", 
-               "talker",
-               "talker_metadata"
-              ]
-
-[environment]
-GPR_PROJECT_PATH.append="${CRATE_ROOT}/install/rclada_examples/share/gprauto"
-
-[[depends-on]]
-rclada = "~0.1.0"
-
-[[actions]]
-type = "pre-build"
-command = ["./build.bash"]
-
-[available.'case(distribution)']
-ubuntu = true
-'...' = false
-
-[origin]
-commit = "3d92e3ad4f86c2f71ae9637943bbc7eab047b259"
-url = "git+https://github.com/ada-ros/rclada_examples_alire.git"
-
@@ -1,12 +0,0 @@
-description = "ROS2 Foxy distribution"
-name = "ros2_foxy"
-licenses = []
-maintainers = ["alejandro@mosteo.com"]
-maintainers-logins = ["mosteo"]
-tags = ["ros", "robotics"]
-website = "https://index.ros.org/doc/ros2/"
-
-[[external]]
-hint = "For installation instructions, visit https://index.ros.org/doc/ros2/Installation/#installationguide"
-kind = "system"
-origin."case(distribution)"."ubuntu" = ["ros-foxy-desktop"]
@@ -1,18 +0,0 @@
-description = "Pretty print physical values in properly scaled metric (SI) units."
-name = "si_units"
-version = "0.1.3"
-authors = ["Vinzent \"Jellix\" Saranen"]
-website = "https://github.heisenbug.eu/si_units"
-licenses = ["WTFPL"]
-maintainers = ["vinzent@heisenbug.eu"]
-maintainers-logins = ["Jellix"]
-project-files = ["si_units_lib.gpr"]
-tags = ["utilities", "formatting"]
-
-[gpr-externals]
-SI_UNITS_BUILD = ["debug", "release"]
-
-[origin]
-commit = "51224f2fa79a6ca02ddd0854857ae8016375439c"
-url = "git+https://github.com/HeisenbugLtd/si_units.git"
-
@@ -1,42 +0,0 @@
-description = "Pretty print physical values in properly scaled metric (SI) units."
-long-description = """
-Provides generic conversion (`Image`) functions that convert values into human
-readable strings with appropriate SI prefixes. This is especially convenient
-when you have to deal with printing values from a potentially large interval,
-and you need to represent such values as something an average human will
-easily be able to read. Then you can use `SI_Units` to take care of the
-conversion into an appropriate string representation for you.
-
-Converting values into a string is supported with all SI prefixes which are a
-power of 1000 (yocto .. Yotta), additionally there is a generic that can deal
-with binary prefixes (i.e. prefixes that denote powers of 1024).
-
-Scaling (i.e. conversion between different prefixes, like from kilo(meter) to
-centi(meter)) between all defined SI prefixes is also supported, similar for
-binary prefixes.
-
-See the project's [website](https://github.heisenbug.eu/si_units) for more
-details.
-
-Version 0.2.0 is source code identical to the previous 0.1.3 release, but adds
-full support for Alire integration. In the process, the provided `gnat` project
-files have been streamlined, so if you upgrade to this version from a previous
-release, you will need to adjust your own project files accordingly.
-"""
-name = "si_units"
-version = "0.2.0"
-authors = ["Vinzent \"Jellix\" Saranen"]
-website = "https://github.heisenbug.eu/si_units"
-licenses = ["WTFPL"]
-tags = ["utilities", "formatting"]
-maintainers = ["vinzent@heisenbug.eu"]
-maintainers-logins = ["Jellix"]
-project-files = ["si_units.gpr"]
-
-[gpr-externals]
-SI_UNITS_BUILD_MODE = ["debug", "release"]
-
-[origin]
-commit = "13606e4922ac7c1dc9e456db9967a057ced1e9ea"
-url = "git+https://github.com/HeisenbugLtd/si_units.git"
-
@@ -1,15 +0,0 @@
-name = "simple_logging"
-version = "1.2.0"
-description = "Simple logging to console"
-licenses = ["LGPL 3.0"]
-
-authors = [ "Alejandro R. Mosteo", ]
-maintainers = [ "alejandro@mosteo.com", ]
-maintainers-logins = [ "mosteo", ]
-
-tags = ["logging", "utility"]
-
-[origin]
-commit = "506f0bb32bc3699ebe189593667e2d2844a9d537"
-url = "git+https://github.com/alire-project/simple_logging.git"
-
@@ -1,23 +0,0 @@
-name = "sparknacl"
-description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library"
-long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties"
-version = "1.0.0"
-tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
-licenses = ["BSD 2-Clauses"]
-website = "https://github.com/rod-chapman/SPARKNaCl"
-
-authors = ["Rod Chapman"]
-maintainers = ["Rod Chapman <rod@proteancode.com>"]
-maintainers-logins = ["rod-chapman"]
-
-[[depends-on]]
-gnat = ">=2020"
-
-[gpr-externals]
-SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
-SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3"]
-
-[origin]
-commit = "aac69c969a050cbe0720112d86efff832cdc2346"
-url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
-
@@ -1,22 +0,0 @@
-description = "SPAT - SPARK Proof Analysis Tool"
-long-description = "SPAT - SPARK Proof Analysis Tools\nHelper tool to obtain timing information about gnatprove runs (SPARK tools).\n"
-name = "spat"
-version = "1.2.1"
-authors = ["Vinzent \"Jellix\" Saranen"]
-website = "https://github.heisenbug.eu/spat"
-executables = ["run_spat"]
-licenses = ["WTFPL"]
-maintainers = ["vinzent@heisenbug.eu"]
-maintainers-logins = ["Jellix"]
-project-files = ["spat.gpr"]
-tags = ["spark"]
-
-[[depends-on]]
-si_units = "^0.1.0"
-[depends-on."case(toolchain)".system]
-gnatcoll = ">=19 & <2000"
-
-[origin]
-commit = "a25eb494136dcddad52b831e8c058b383d93e677"
-url = "git+https://github.com/HeisenbugLtd/spat.git"
-
@@ -1,28 +0,0 @@
-description = "SPAT - SPARK Proof Analysis Tool"
-long-description = """
-SPAT - SPARK Proof Analysis Tools
-
-Helper tool to obtain, analyse, sort, and filter timing information about
-`gnatprove` runs (`SPARK` tools).
-"""
-name = "spat"
-version = "1.3.0"
-authors = ["Vinzent \"Jellix\" Saranen"]
-website = "https://github.heisenbug.eu/spat"
-licenses = ["WTFPL"]
-tags = ["spark"]
-
-maintainers = ["vinzent@heisenbug.eu"]
-maintainers-logins = ["Jellix"]
-project-files = ["spat.gpr"]
-executables = ["run_spat"]
-
-[[depends-on]]
-si_units = "~0.2"
-[depends-on."case(toolchain)".system]
-gnatcoll = ">=19"
-
-[origin]
-commit = "4ad4ab14447ac8cbbedcb8d47f026a66a73551d7"
-url = "git+https://github.com/HeisenbugLtd/spat.git"
-
@@ -1,15 +0,0 @@
-name = "spdx"
-description = "SPDX License Expression Validator"
-version = "0.1.0"
-
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = ["MIT"]
-website="https://github.com/Fabien-Chouteau/spdx_ada"
-tags = ['spdx', 'license']
-
-[origin]
-commit = "319ca7bcc1e2eb1843aad1f64aca3ecba91a2bcc"
-url = "git+https://github.com/Fabien-Chouteau/spdx_ada.git"
-
@@ -1,15 +0,0 @@
-name = "spdx"
-description = "SPDX License Expression Validator"
-version = "0.2.0"
-
-authors = ["Fabien Chouteau"]
-maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
-maintainers-logins = ["Fabien-Chouteau"]
-licenses = ["MIT"]
-website="https://github.com/Fabien-Chouteau/spdx_ada"
-tags = ['spdx', 'license']
-
-[origin]
-commit = "2df9b1182544359c751544e52e14c94830d99fa6"
-url = "git+https://github.com/Fabien-Chouteau/spdx_ada.git"
-
@@ -1,21 +0,0 @@
-name = "startup_gen"
-version = "21.0.0"
-description = "Generates startup files (crt0 and linker script)"
-website = "https://github.com/AdaCore/startup-gen"
-authors = ["AdaCore"]
-executables = ["startup-gen"]
-licenses = ["GPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["startup_gen.gpr"]
-tags = ["embedded", "zfp", "nostd"]
-
-[[depends-on]]
-gnatcoll = "~21.0.0"
-libgpr = "~21.0.0"
-templates_parser = "~21.0.0"
-gnat = ">=10"
-
-[origin]
-url="https://github.com/AdaCore/startup-gen/archive/v21.0.0.zip"
-hashes=['sha512:75bdb0979ad6891655359e023a8ddcbe0f507f5b5d844892f91e4048a9ade4ab1f37319c0a817be2dff2f60becbd7ba6e17cc03ca1d22267f1a34660a09f17dd']
@@ -1,29 +0,0 @@
-name = "templates_parser"
-version = "21.0.0"
-description = "Templates Parser: File generation from templates in Ada"
-website = "https://github.com/AdaCore/templates-parser"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["templates_parser.gpr"]
-
-[[actions]]
-type = "post-fetch"
-command = ["cp", "config/tp_xmlada_installed.gpr", "tp_xmlada.gpr"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "relocatable"]
-PRJ_BUILD = ["Debug", "Release"]
-TP_TASKING = ["No_Tasking", "Standard_Tasking"]
-TP_XMLADA = ["Installed", "Disabled"]
-
-[gpr-set-externals]
-TP_XMLADA = "Installed"
-
-[[depends-on]]
-xmlada = "~21.0.0"
-
-[origin]
-url="https://github.com/AdaCore/templates-parser/archive/v21.0.0.zip"
-hashes=['sha512:2b7ce36cf5f985724416c9abc68725bf73c9e8af6389801043dee2f3e9a4a9d2155a86c96f8088dd830af3b8942a3e7dd7373e7003741a4098ca580e6fa507a4']
@@ -1,18 +0,0 @@
-name = "tiny_text"
-description = "Low resolution bitmap font with a small memory footprint"
-version = "1.0.0"
-
-authors = ["Jeremy Grosser"]
-maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
-maintainers-logins = ["JeremyGrosser"]
-licenses = ["MIT"]
-website = ["https://github.com/JeremyGrosser/tiny_text"]
-tags = ["font", "hal", "bitmap", "text"]
-
-[[depends-on]]  # This line was added by `alr with`
-hal = "*"  # This line was added by `alr with`
-
-[origin]
-commit = "f072a0c3f9cf6ea9d81cb26a05d3462c7f2d82f6"
-url = "git+https://github.com/JeremyGrosser/tiny_text.git"
-
@@ -1,31 +0,0 @@
-description = "A virtual Audio Processing Unit to simulate 8-bit era game sounds"
-long-description = """
-# VirtAPU
-
-A virtual Audio Processing Unit to simulate 8-bit era game sounds
-
- - Arbitrary number of voice(s)
- - 4 sounds:
-   - Pulse
-   - Triangle
-   - Noise1 (LFSR 1)
-   - Noise2 (LFSR 6)
- - Pulse witdth modulation
- - Decay
- - Frequency sweep
- - Sequencer
-"""
-name = "virtapu"
-version = "0.2.0"
-website="https://github.com/Fabien-Chouteau/virtapu"
-licenses = ["MIT"]
-authors=["Fabien Chouteau"]
-maintainers = ["fabien.chouteau@gmail.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["virtapu.gpr"]
-tags = ["nostd", "audio", "synth", "game"]
-
-[origin]
-commit = "1146b446c0322ae7e72b56972aff384395e6a3a9"
-url = "git+https://github.com/Fabien-Chouteau/virtapu.git"
-
@@ -1,17 +0,0 @@
-name = "vss"
-description = "Advanced string and text manipulation with Unicode support"
-version = "21.0.0"
-tags = ["unicode", "json", "text"]
-
-authors = ["AdaCore"]
-maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
-maintainers-logins = ["godunko", "reznikmm"]
-licenses = ["GMGPL 3.0"]
-website = "https://github.com/AdaCore/VSS"
-
-project-files = ["gnat/vss_text.gpr", "gnat/vss_json.gpr"]
-
-[origin]
-commit = "ded12078cfcaeb6c3c7fc1ffeea9e0d5cf4a1086"
-url = "git+https://github.com/AdaCore/VSS.git"
-
@@ -1,25 +0,0 @@
-name = "win32ada"
-version = "21.0.0"
-description = "Ada API to the Windows library"
-website = "https://github.com/adacore/win32ada"
-authors = ["Intermetrics", "AdaCore"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-tags = ["windows", "api"]
-
-[gpr-externals]
-PRJ_TARGET = ["Win32", "Win64"]
-PRJ_BUILD = ["Debug", "Release"]
-
-[available.'case(os)']
-windows = true
-'...'   = false
-
-[gpr-set-externals]
-TARGET = "Win64"
-PRJ_TARGET = "Win64"
-PRJ_BUILD = "Release"
-
-[origin]
-url= "https://github.com/AdaCore/win32ada/archive/v21.0.0/win32ada-21.0.0.zip"
-hashes=['sha512:67cd45b8e501fc2fc3dc759bb839c1fd287f3a05e1ba427af1d7b2aab0f196391dde472be65f7620eb75ce39bff031b8ee91a49f878d01c496dfeffd4e0a6a7a']
@@ -1,11 +0,0 @@
-description = "winpthreads library"
-name = "winpthreads"
-licenses = ["MIT"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-
-[[external]]
-kind = "system"
-[external.origin."case(distribution)"]
-msys2 = ["mingw-w64-x86_64-winpthreads-git"]
-
@@ -1,27 +0,0 @@
-name = "xmlada"
-version = "21.0.0"
-description = "The XML/Ada toolkit"
-website = "https://github.com/AdaCore/xmlada"
-authors = ["AdaCore"]
-licenses = ["GMGPL 3.0"]
-maintainers = ["chouteau@adacore.com"]
-maintainers-logins = ["Fabien-Chouteau"]
-project-files = ["distrib/xmlada.gpr",
-                 "dom/xmlada_dom.gpr",
-                 "sax/xmlada_sax.gpr",
-                 "input_sources/xmlada_input.gpr",
-                 "schema/xmlada_schema.gpr",
-                 "unicode/xmlada_unicode.gpr"]
-
-[[actions]]
-type = "post-fetch"
-command = ["sh", "configure"]
-
-[gpr-externals]
-LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
-XMLADA_BUILD_MODE = ["distrib", "Debug", "Production",
-                     "profile", "coverage", "nochecks"]
-
-[origin]
-url="https://github.com/AdaCore/xmlada/archive/v21.0.0/xmlada-21.0.0.zip"
-hashes=['sha512:836d189061b188d0b766d559972938da59c1b950c15cda8209c4c5175fa03db0ef714270635ffed2d14e2bb3957f97625f5eef07c815606ac0191be268694d98']
@@ -15,6 +15,9 @@ CHANGES=$(git diff --name-only HEAD~1)
 # Bulk changes for the record
 echo Changed files: $CHANGES

+# Import the out-of-docker built alr
+export PATH+=:${PWD}/alire/bin
+
 # Show alr metadata
 alr version