Compare commits
36 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 440b95005c | |||
| 64013fc279 | |||
| d918e18e56 | |||
| 33038b1609 | |||
| a09140f021 | |||
| 86659c3195 | |||
| e7c53a6146 | |||
| f24436e0f1 | |||
| 0d57828de3 | |||
| e67d834252 | |||
| ecc0dd2fff | |||
| c5a75385d9 | |||
| bdc53ebf74 | |||
| 784e8105ef | |||
| ea4946244b | |||
| 526dc9e01b | |||
| 9bf2f7f835 | |||
| 9b5792cb12 | |||
| 04f4b1a642 | |||
| 6d4e6d6cec | |||
| ea6dd823d9 | |||
| 5c367d573a | |||
| 39751981cc | |||
| 39ab6f5272 | |||
| 37ddcd9488 | |||
| 96f39408ed | |||
| da017bc07c | |||
| cdf8c13253 | |||
| ec4f281b37 | |||
| 8cba1009de | |||
| 47492703e6 | |||
| 7f320c8f06 | |||
| 4f2c55b0cc | |||
| 54a690189d | |||
| 5ae6b108cd | |||
| 8b06ec95e6 |
@@ -78,6 +78,8 @@ jobs:
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
with:
|
||||
toolchain: --disable-assistant # We want to use the external ones
|
||||
|
||||
- name: Test crate (Linux)
|
||||
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
|
||||
|
||||
@@ -0,0 +1,69 @@
|
||||
name: Toolchain
|
||||
# Build the submitted crate with a native toolchain from Alire
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'index/**.toml'
|
||||
|
||||
jobs:
|
||||
|
||||
build:
|
||||
name: ${{ matrix.os }}
|
||||
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
os:
|
||||
- macos-latest
|
||||
- ubuntu-latest
|
||||
- windows-latest
|
||||
|
||||
steps:
|
||||
- name: Check out alire-index
|
||||
uses: actions/checkout@v2
|
||||
with:
|
||||
fetch-depth: 0
|
||||
# Needed to be able to diff and obtain changed files. Furthermore, we
|
||||
# need the full history or else grafted partial branches confuse the
|
||||
# changed files detectors (in both scripts/gh-build-crate.sh and
|
||||
# check-author action).
|
||||
|
||||
# For the devel branch we need a compiler available to build alr in
|
||||
# setup-alire. At some point we should integrate this in the
|
||||
# setup-alire@latest-devel action.
|
||||
|
||||
- name: Set up GNAT toolchain (FSF)
|
||||
if: (matrix.os == 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: fsf # faster install?
|
||||
|
||||
- name: Set up GNAT toolchain (Community)
|
||||
if: (matrix.os != 'ubuntu-latest') && (contains(github.base_ref, 'devel-'))
|
||||
uses: ada-actions/toolchain@ce2020
|
||||
with:
|
||||
distrib: community
|
||||
|
||||
# By default, this sets up the newest indexed native toolchain
|
||||
- name: Set up stable `alr`
|
||||
if: contains(github.base_ref, 'stable-')
|
||||
uses: alire-project/setup-alire@latest-stable
|
||||
|
||||
# By default, this sets up the newest indexed native toolchain
|
||||
- name: Set up devel `alr`
|
||||
if: contains(github.base_ref, 'devel-')
|
||||
uses: alire-project/setup-alire@latest-devel
|
||||
|
||||
- name: Set up msys2 (Windows)
|
||||
if: matrix.os == 'windows-latest'
|
||||
run: ./alire_install/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'
|
||||
run: C:\Users\runneradmin\.cache\alire\msys64\usr\bin\pacman --noconfirm -S tar
|
||||
|
||||
- name: Test crate
|
||||
run: scripts/gh-build-crate.sh
|
||||
shell: bash
|
||||
@@ -0,0 +1,17 @@
|
||||
name = "emojis"
|
||||
description = "A library to replace names between colons with emojis"
|
||||
version = "1.0.0"
|
||||
website = "https://github.com/onox/emojis"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["emoji", "string", "text", "unicode"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "e9d5c4ef79b45a8be73c6e98dceb70c291d1fbed"
|
||||
url = "git+https://github.com/onox/emojis.git"
|
||||
@@ -0,0 +1,26 @@
|
||||
name = "get_password"
|
||||
description = "Read a string without echo, in password-like style"
|
||||
version = "1.0.0-rc"
|
||||
long-description = "This is a small Ada library that provides a procedure Get_Password that reads a string from the terminal replacing each character with a *. The input can be terminated both by the user pressing end-of-line or when the buffer is filled. Currently it works only on POSIX-based system. This version was checked with Spark"
|
||||
licenses = "MIT"
|
||||
website = "https://gitlab.com/my-ada-library/get_password"
|
||||
|
||||
authors = ["Riccardo Bernardini"]
|
||||
maintainers = ["Riccardo Bernardini <riccardo.bernardini@uniud.it>"]
|
||||
maintainers-logins = ["fintatarta"]
|
||||
tags = ["password", "echo", "textio"]
|
||||
|
||||
[gpr-set-externals.'case(os)']
|
||||
linux = { OS_FOR_GPR = "posix" }
|
||||
windows = { OS_FOR_GPR = "windows" }
|
||||
macos = { OS_FOR_GPR = "posix" }
|
||||
|
||||
[available.'case(os)']
|
||||
linux = true
|
||||
windows = false
|
||||
macos = false
|
||||
|
||||
[origin]
|
||||
commit = "0999eb5b4890649c73fc0327ef7514de4fb73df7"
|
||||
url = "git+https://gitlab.com/my-ada-library/get_password.git"
|
||||
|
||||
@@ -1,10 +0,0 @@
|
||||
description = "GNAT is a compiler for the Ada programming language"
|
||||
name = "gnat"
|
||||
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
[[external]]
|
||||
kind = "version-output"
|
||||
version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
|
||||
version-command = ["gnat", "--version"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "10.3.1"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-linux64-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:8f71f65acc2eb45adc335318f7c9b33bfe77121fb17b404e252da969de6621a2"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-darwin-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:2e090fa57235829873f8b3154a80ed890dd11c3d7c7f9a6b1cbb9921cce674f2"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-arm-elf-windows64-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:7562c6f8beb9732fad32be692abf93e9aa54d39837f8232edeb593ba2cfc29fe"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_arm_elf"
|
||||
version = "11.2.1"
|
||||
provides = ["gnat=11.2.1"]
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-linux64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:68f7c5d3e009c156d6c3d274c5da9fd369b1e85743c9bdfe4548e2c376efcebd"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:9343d45fe3eaa5d7d1cfcf03166c64303adb5524fa03634bb1cada61787a2226"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-arm-elf-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:b2d3b1d266b5e13e97809462a6169d690591e81a1b1885e9501f4e1a99c34421"]
|
||||
@@ -0,0 +1,17 @@
|
||||
description = "GNAT is a compiler for the Ada programming language"
|
||||
name = "gnat_external"
|
||||
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
[[external]]
|
||||
kind = "version-output"
|
||||
version-regexp = "^GNAT ([\\d\\.]+).*|^GNAT Community ([\\d]{4}).*"
|
||||
version-command = ["gnat", "--version"]
|
||||
provides = "gnat"
|
||||
|
||||
# We do not want to have system external definitions because in typical systems
|
||||
# like Debian/Ubuntu only one version at a time can be installed. Hence using
|
||||
# different versions in different crates/configurations would imply messing the
|
||||
# users' system. Let them manually configure the compiler they want when they
|
||||
# do not want one of the pre-packaged Alire versions.
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "gnat_native"
|
||||
version = "10.3.1"
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
provides = ["gnat=10.3.1"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-windows64-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:6d85b367c642195308440f5b8bdc10b529e2014d58c4ada06e9c8a1f86bf5342"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-darwin-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:20b3092f830adda081737e2d66322da8d4ad2bb9f5aa985bd18312d04fc61458"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-x86_64-linux-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:8b7c5dcd858ba01bbb66053bcc2899a7015ef426b0f90d47b5b142b90886a6a2"]
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "gnat_native"
|
||||
version = "11.2.1"
|
||||
description = "The GNAT Ada compiler - Native"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
provides = ["gnat=11.2.1"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:3ed9e2d781e395dcc74544f691fbc15176f853a20d926b7409356c58a89e44ed"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:25e76394ceeadda9a3a689e80e0e22492fc76a3b3d53a54bf90b8b1bdcbc3c7d"]
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-x86_64-linux-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:216754299ee9d79a4a1935c29800308007fb1304bfd4833980e0b4a67b2924bb"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "10.3.1"
|
||||
provides = ["gnat=10.3.1"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-linux64-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:209ee8df59c3f84412f9cb5121a2df4db45daedce47fbd19f7318461b1a4c00a"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-darwin-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:a64d12884ab5a6892e0263ed136dd73f1917fc21a80c127b9495059dd3c1c70d"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-10.3.0-1/gnat-riscv64-elf-windows64-10.3.0-1.tar.gz"
|
||||
hashes = ["sha256:f20c48b6097529361ab540fa17728292dc304749745e0222e6f17eb710337a22"]
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnat_riscv64_elf"
|
||||
version = "11.2.1"
|
||||
provides = ["gnat=11.2.1"]
|
||||
description = "The GNAT Ada compiler - RISC-V cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-linux64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:71151d7902b127f5f68d206f6134d1c18d203f8269e11970cab28e0ff5ff801e"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-darwin-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:359f6d99dc55b01432dc8fa8190ba8bfe7f2e6a78b458cca45fa41bbcd04a9c7"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-1/gnat-riscv64-elf-windows64-11.2.0-1.tar.gz"
|
||||
hashes = ["sha256:a04a8bd99ac1ec576aba2a69b6608fd78d805c737de59c30f570bd5dd5a82a97"]
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "gnatcov"
|
||||
version = "21.0.1"
|
||||
|
||||
description = "The GNAT Ada compiler - ARM cross-compiler"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
|
||||
hashes = ["sha256:a1f859a747df7d6451776c9d32a51ba9e47f7fabeeb9749511cdd69fbe28ebef"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-darwin-21.0-1.tar.gz"
|
||||
hashes = ["sha256:9aadf309133481d72bba5512b63b16d360a04ae960c2047484b71d47c39e3d2a"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-windows64-21.0-1.tar.gz"
|
||||
hashes = ["sha256:8b38e414fde33549c177fe7e263e3a8a7276c4721a9138597a5d341296d41768"]
|
||||
@@ -0,0 +1,22 @@
|
||||
name = "gprbuild"
|
||||
version = "21.0.1"
|
||||
description = "The GPRBuild Ada/multilanguage build tool"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
|
||||
auto-gpr-with = false
|
||||
|
||||
[environment]
|
||||
PATH.prepend = "${CRATE_ROOT}/bin"
|
||||
|
||||
[origin."case(os)".linux."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-linux-21.0.0-1.tar.gz"
|
||||
hashes = ["sha256:349f6f95165901e9f5099e2046e62fdb2290745a6f984e15e1759f456362d646"]
|
||||
|
||||
[origin."case(os)".macos."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-darwin-21.0.0-1.tar.gz"
|
||||
hashes = ["sha256:0193f1acb608045539f5568e22395007892cb2a44c89fb9eb170293621c66309"]
|
||||
|
||||
[origin."case(os)".windows."case(word-size)".bits-64]
|
||||
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-21.0.0-1/gprbuild-x86_64-windows64-21.0.0-1.tar.gz"
|
||||
hashes = ["sha256:c75588476b295107dddcd302b44e9eef86feebcb0c5168518335da6122264c8f"]
|
||||
@@ -0,0 +1,14 @@
|
||||
description = "The GPRBuild Ada/multilanguage build tool"
|
||||
name = "gprbuild"
|
||||
|
||||
maintainers = ["alejandro@mosteo.com"]
|
||||
maintainers-logins = ["mosteo"]
|
||||
|
||||
[[external]]
|
||||
kind = "version-output"
|
||||
version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*"
|
||||
version-command = ["gprbuild", "--version"]
|
||||
|
||||
[[external]]
|
||||
kind = "system"
|
||||
origin = ["gprbuild"]
|
||||
+1
-1
@@ -1 +1 @@
|
||||
version = "1.0"
|
||||
version = "1.1"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "pico_bsp"
|
||||
description = "Board support package for Raspberry Pi Pico"
|
||||
version = "0.6.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "raspberrypi", "pico", "rp2040", "bsp"]
|
||||
website = "https://github.com/JeremyGrosser/pico_bsp"
|
||||
|
||||
[[depends-on]]
|
||||
hal = "~0.1"
|
||||
rp2040_hal = "~0.6"
|
||||
|
||||
[origin]
|
||||
commit = "b7a5868eb3bef041630530d371c8e2361c6feed0"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_bsp.git"
|
||||
|
||||
@@ -0,0 +1,33 @@
|
||||
name = "pico_examples"
|
||||
description = "Examples for Ada on the Raspberry Pi Pico"
|
||||
version = "0.6.0"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
licenses = "BSD-3-Clause"
|
||||
tags = ["embedded", "nostd", "pico", "rp2040"]
|
||||
website = "https://github.com/JeremyGrosser/pico_examples"
|
||||
auto-gpr-with=false
|
||||
project-files = [
|
||||
"adafruit_feather_rp2040/blink_feather.gpr",
|
||||
"adc_hello/adc_hello.gpr",
|
||||
"blink/blink.gpr",
|
||||
"gpio_interrupts/gpio_interrupts.gpr",
|
||||
"pimoroni_audio_pack/pimoroni_audio_pack.gpr",
|
||||
"pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr",
|
||||
"pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr",
|
||||
"pio_blink/pio_blink.gpr",
|
||||
"pwm/pwm.gpr",
|
||||
"rtc/rtc.gpr",
|
||||
"spi_loopback/spi_loopback.gpr",
|
||||
"timer/timer.gpr",
|
||||
"uart_echo/uart_echo.gpr"]
|
||||
|
||||
[[depends-on]]
|
||||
pico_bsp = "~0.6"
|
||||
|
||||
[origin]
|
||||
commit = "e674c7a232455130357ea7b87c4dd7e3ad612915"
|
||||
url = "git+https://github.com/JeremyGrosser/pico_examples.git"
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
name = "rp2040_hal"
|
||||
description = "Drivers and HAL for the RP2040 micro-controller family"
|
||||
version = "0.6.0"
|
||||
licenses = "BSD-3-Clause"
|
||||
|
||||
authors = ["Jeremy Grosser"]
|
||||
maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
|
||||
maintainers-logins = ["JeremyGrosser"]
|
||||
tags = ["embedded", "nostd", "rp2040", "raspberrypi", "drivers"]
|
||||
website = "https://github.com/JeremyGrosser/rp2040_hal"
|
||||
|
||||
[[depends-on]]
|
||||
cortex_m = "~0.3"
|
||||
hal = "~0.1"
|
||||
|
||||
[origin]
|
||||
commit = "a3ea286762cd60c0e24c3979e0d812fc3dbe3917"
|
||||
url = "git+https://github.com/JeremyGrosser/rp2040_hal.git"
|
||||
|
||||
@@ -0,0 +1,20 @@
|
||||
name = "vss"
|
||||
description = "Advanced string and text manipulation with Unicode support"
|
||||
version = "22.0.0-20210830"
|
||||
tags = ["unicode", "json", "text"]
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
||||
maintainers-logins = ["godunko", "reznikmm"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/VSS"
|
||||
|
||||
project-files = ["gnat/vss_text.gpr", "gnat/vss_json.gpr"]
|
||||
|
||||
[origin]
|
||||
commit = "92cfa4bd5d1116841b1d63b4011bb9a6f33fa7f8"
|
||||
url = "git+https://github.com/AdaCore/VSS.git"
|
||||
|
||||
|
||||
[[depends-on]]
|
||||
gnat = ">=2020|(>=11 & <=2000)"
|
||||
@@ -0,0 +1,17 @@
|
||||
name = "weechat_ada"
|
||||
description = "Ada 2012 library for WeeChat plug-ins"
|
||||
version = "3.0.0"
|
||||
website = "https://github.com/onox/weechat-ada"
|
||||
licenses = "Apache-2.0"
|
||||
tags = ["chat", "irc", "weechat"]
|
||||
|
||||
authors = ["onox"]
|
||||
maintainers = ["onox <denkpadje@gmail.com>"]
|
||||
maintainers-logins = ["onox"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[origin]
|
||||
commit = "f69eefc2d6e5f15199a9eef0a51e10aefc844946"
|
||||
url = "git+https://github.com/onox/weechat-ada.git"
|
||||
@@ -6,6 +6,26 @@ trap 'echo "Interrupted" >&2 ; exit 1' INT
|
||||
set -o errexit
|
||||
set -o nounset
|
||||
|
||||
function check_dependencies_exist() {
|
||||
for dep in $(alr with | tail +1); do
|
||||
if [[ $dep =~ ([a-z0-9_]+)[^a-z0-9_] ]]; then # this should always match the crate name
|
||||
local crate=${BASH_REMATCH[1]}
|
||||
|
||||
if alr list | cut -f1 -d' ' | grep -qw $crate; then
|
||||
return 0 # found
|
||||
else
|
||||
echo "Direct dependency is unknown: $dep (crate name: $crate)"
|
||||
return 1
|
||||
fi
|
||||
else
|
||||
echo Could not identify dependency crate name in: $dep
|
||||
return 1
|
||||
fi
|
||||
done
|
||||
|
||||
return 0
|
||||
}
|
||||
|
||||
# See whats happening
|
||||
git log --graph --decorate --pretty=oneline --abbrev-commit --all | head -30
|
||||
|
||||
@@ -15,6 +35,10 @@ CHANGES=$(git diff --name-only HEAD~1)
|
||||
# Bulk changes for the record
|
||||
echo Changed files: $CHANGES
|
||||
|
||||
# Disable assistant. This is necessary despite the setup-alire action doing it
|
||||
# too, because we sometimes run inside a Docker with fresh configuration
|
||||
alr toolchain --disable-assistant
|
||||
|
||||
# Show alr metadata
|
||||
alr version
|
||||
|
||||
@@ -34,7 +58,7 @@ for file in $CHANGES; do
|
||||
continue
|
||||
fi
|
||||
|
||||
if ! [ -f ./$file ]; then
|
||||
if ! [ -f ./"$file" ]; then
|
||||
echo Skipping deleted file: $file
|
||||
continue
|
||||
fi
|
||||
@@ -72,6 +96,9 @@ for file in $CHANGES; do
|
||||
alr show --solve --detail --external-detect $milestone
|
||||
solution=$(alr show --solve --detail --external-detect $milestone)
|
||||
|
||||
# Check that no direct dependency is unknown
|
||||
check_dependencies_exist()
|
||||
|
||||
# Skip on explicit unavailability
|
||||
if alr show --system $milestone | grep -q 'Available when: False'; then
|
||||
echo SKIPPING crate build: $milestone UNAVAILABLE on system
|
||||
@@ -140,8 +167,10 @@ for file in $CHANGES; do
|
||||
elif $is_binary; then
|
||||
echo FETCHED BINARY crate OK
|
||||
else
|
||||
echo LISTING EXECUTABLES of crate $milestone
|
||||
cd ${crate}_${version}_*
|
||||
echo BUILD ENVIRONMENT
|
||||
alr printenv
|
||||
echo LISTING EXECUTABLES of crate $milestone
|
||||
alr run -d --list
|
||||
cd ..
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user