From 0c75bc684ea55a837b958a0e34df1743dbebacdb Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Mon, 10 Mar 2025 10:02:11 -0700 Subject: [PATCH 01/15] bbs_embed_linux 0.2.0 (#1422) --- .../bbs_embed_linux-0.2.0.toml | 32 +++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 index/bb/bbs_embed_linux/bbs_embed_linux-0.2.0.toml diff --git a/index/bb/bbs_embed_linux/bbs_embed_linux-0.2.0.toml b/index/bb/bbs_embed_linux/bbs_embed_linux-0.2.0.toml new file mode 100644 index 00000000..dfbecbf1 --- /dev/null +++ b/index/bb/bbs_embed_linux/bbs_embed_linux-0.2.0.toml @@ -0,0 +1,32 @@ +name = "bbs_embed_linux" +description = "Physical device drivers for Raspberry Pi and BeagleBone Black" +version = "0.2.0" + +long-description = """ +This contains device drivers for unix-type systems. The physical devices +are defined for the Raspberry Pi and BeagleBone Black, but it should +compile on any unix-type environment. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/BBS-BBB-Ada" +tags = ["embedded", "devices", "hardware"] + +[available."case(os)"] +"windows" = false +"..." = true + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_embed_common = "~0.2.0" + +[origin] +commit = "bc3a1eafa18eb9aa755631b198455dd6b9bb6c09" +subdir = "./src-linux/" +url = "git+https://github.com/BrentSeidel/BBS-BBB-Ada.git" + From 0622fb73b1537cf1263f5bd2ef4007053f92099c Mon Sep 17 00:00:00 2001 From: Brent Seidel Date: Tue, 11 Mar 2025 05:53:11 -0700 Subject: [PATCH 02/15] blinkenlights 0.2.1 (#1423) --- .../bl/blinkenlights/blinkenlights-0.2.1.toml | 69 +++++++++++++++++++ 1 file changed, 69 insertions(+) create mode 100644 index/bl/blinkenlights/blinkenlights-0.2.1.toml diff --git a/index/bl/blinkenlights/blinkenlights-0.2.1.toml b/index/bl/blinkenlights/blinkenlights-0.2.1.toml new file mode 100644 index 00000000..cb77ad77 --- /dev/null +++ b/index/bl/blinkenlights/blinkenlights-0.2.1.toml @@ -0,0 +1,69 @@ +name = "blinkenlights" +description = "Project to blink LEDs in interesting patterns" +version = "0.2.1" + +long-description = """ +This is a complex project involving 3D printing and soldering as well as +software. Alr will take care of the software dependencies for you, but +you will have to read the README and documentation to find the other parts. + +This project is intended to replicate the look and feel of older computers +with the switches and lights. It uses the simulators from bbs_simcpu to +drive the LEDs and act on the switches. Using the Intel 8080 simulator, +I was actually able to toggle a bootstrap program in using the panel and +get it to boot CP/M. A boot loader (boot.ihx) is included. CP/M is not +included. There are places on the web where you can find a disassembled +CP/M 2.2. Then combine it with the BIOS from bbs_simcpu and add it to a +disk image using the loadcpm tool. If you use the Motorola 68000 simulator, +it will load and run a simple multitasking OS. The example simulator can +be used to flash the lights in a variaty of ways. + +There is a lamp test program in the lamp-test directory that may be useful +for debugging the hardware. + +Note that since each cycle of the simulator involves multiple I2C bus +transactions to read switches and set LEDs, any CPU simulation will run +rather slowly. The intention of this project is more for display than +simulator usage. + +There is also a web server that can be used to select the CPU variant. +This is most useful with the example simulator to select the light pattern. + +This project runs on a Raspberry Pi 2 (or later). It will build on most +Unix or Unix-like systems, but unless the hardware interface matches the +Raspberry Pi, it won't run. You are welcome to try porting it to other +systems, if you like. +""" + +authors = ["Brent Seidel"] +maintainers = ["Brent Seidel "] +maintainers-logins = ["BrentSeidel"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/BrentSeidel/Pi-Mainframe" +tags = ["embedded", "simulation", "i8080", "m68000", "hardware"] + +executables = ["blinkenlights"] + +[available."case(os)"] +"windows" = false +"..." = true + +[[depends-on]] +bbs = "~0.1.0" + +[[depends-on]] +bbs_embed_common = "~0.2.0" + +[[depends-on]] +bbs_embed_linux = "~0.2.0" + +[[depends-on]] +bbs_webif = "~0.1.0" + +[[depends-on]] +bbs_simcpu = "~0.3.2" + +[origin] +commit = "0a94431028e3ee0857637ea72a8ad93608ca94c1" +url = "git+https://github.com/BrentSeidel/Pi-Mainframe.git" + From da03fdae820f05aaab62a59b46bc9eb598779369 Mon Sep 17 00:00:00 2001 From: Martin Krischik Date: Mon, 17 Mar 2025 12:14:36 +0100 Subject: [PATCH 03/15] adacl_regexp 6.2.0 (#1436) --- index/ad/adacl_regexp/adacl_regexp-6.2.0.toml | 54 +++++++++++++++++++ 1 file changed, 54 insertions(+) create mode 100644 index/ad/adacl_regexp/adacl_regexp-6.2.0.toml diff --git a/index/ad/adacl_regexp/adacl_regexp-6.2.0.toml b/index/ad/adacl_regexp/adacl_regexp-6.2.0.toml new file mode 100644 index 00000000..d89d7ff7 --- /dev/null +++ b/index/ad/adacl_regexp/adacl_regexp-6.2.0.toml @@ -0,0 +1,54 @@ +name = "adacl_regexp" +description = "Ada Class Library - Regular Expressions" +long-description = """A class library for Ada for those who like OO programming. + +Regular expression for String, Wide_String and Wide_Wide_Strings using a +generic implementation that could be used for any array of descreete elements. + +Development versions available with: + +```sh +alr index --add "git+https://github.com/krischik/alire-index.git#develop" --name krischik +``` + +Source code including AUnit tests available on [SourceForge](https://git.code.sf.net/p/adacl/git) +""" +version = "6.2.0" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://sourceforge.net/projects/adacl/" +tags = ["library", "strings", "wide-strings", "search", "regexp", "unicode", "ada2022"] + +[build-switches] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +gnat_native = "^14.2" +adacl = "6.2.0" + +[[actions]] +type = "test" +command = ["alr", "run"] +directory = "test" + +# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:338a86dab6cfe6a49c7b3fffa1af040a9afd7903ce6e7d2f95165e7ee8d9e395", +"sha512:771faabd888f90bcea85209c87613c1081a3f10fb0a7f4fff37dbece4c76a991084c1fb00b47d87b5a9c2dae06e5e5a5140f5b5431b182ed7f977505f9e63644", +] +url = "https://sourceforge.net/projects/adacl/files/Alire/adacl_regexp-6.2.0.tgz" + From 281a381cb288330ecc6bc19c058d28edc69afddd Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Sat, 8 Mar 2025 19:45:06 +0000 Subject: [PATCH 04/15] ada_caser 0.1.0 (#1415) --- index/ad/ada_caser/ada_caser-0.1.0.toml | 27 +++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 index/ad/ada_caser/ada_caser-0.1.0.toml diff --git a/index/ad/ada_caser/ada_caser-0.1.0.toml b/index/ad/ada_caser/ada_caser-0.1.0.toml new file mode 100644 index 00000000..8044c0f7 --- /dev/null +++ b/index/ad/ada_caser/ada_caser-0.1.0.toml @@ -0,0 +1,27 @@ +name = "ada_caser" +description = "Applies casing rules to Ada source code." +version = "0.1.0" + +authors = ["Simon Wright"] +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] +licenses = "Apache-2.0" +website = "https://github.com/simonjwright/ada_caser" +tags = ["ada", "source", "editor", "casing"] + +executables = ["ada_caser"] + +[[depends-on]] +gnatcoll = "^25.0.0" +libadalang = "^25.0.0" +langkit_support = "^25.0.0" +vss = "^25.0.0" + +# exsytrawo decodes stack traces for macos. +[depends-on.'case(os)'.macos] +exsytrawo = "^1.2.0" + +[origin] +commit = "ca30fd1328e91e9c07bbfa85265174c9ca9936ed" +url = "git+https://github.com/simonjwright/ada_caser.git" + From a86b4c57376807d9415b9f89dcc6f8aec0f615b9 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Sat, 8 Mar 2025 22:14:25 +0100 Subject: [PATCH 05/15] zipada 61.0.0 (#1416) --- index/zi/zipada/zipada-61.0.0.toml | 59 ++++++++++++++++++++++++++++++ 1 file changed, 59 insertions(+) create mode 100644 index/zi/zipada/zipada-61.0.0.toml diff --git a/index/zi/zipada/zipada-61.0.0.toml b/index/zi/zipada/zipada-61.0.0.toml new file mode 100644 index 00000000..dd502785 --- /dev/null +++ b/index/zi/zipada/zipada-61.0.0.toml @@ -0,0 +1,59 @@ +description = "Manage Zip Archives and raw BZip2 and LZMA streams" +name = "zipada" +version = "61.0.0" + +authors = ["Gautier de Montmollin"] +website = "https://github.com/zertovitch/zip-ada" +licenses = "MIT" +tags = ["zip", "archive", "compression", "deflate", "lzma", "bzip2", "lzw", "shrink"] +maintainers = [ "gdemont@hotmail.com" ] +maintainers-logins = [ "mosteo", "zertovitch" ] + +long-description = """ +![Zip-Ada logo](https://unzip-ada.sourceforge.io/za_logo.png) + +Zip-Ada is a free, open-source programming library for dealing with the Zip compressed archive file format. +The full sources of Zip-Ada are in Ada, compilable on every compiler and for every system (*). + +Key features of Zip-Ada: + +* Files and streams supported, for archives and entries, for compression and decompression +* Task safe +* Endian-neutral +* Standalone +* Zip methods supported for compression: Reduce, Shrink, Deflate, BZip2, LZMA. +* Zip methods supported for decompression: the above methods, plus: Implode, Deflate64 +* Library is in pure Ada 2012 (nothing compiler/system specific), can be used in projects in Ada 2012 and later versions of the language +* Unconditionally portable (*) +* Tests and demos included + +The library includes LZMA & BZip2 independant compressor & decompressor pairs +(can be used outside of the Zip archive context). + +___ + +(*) within limits of compiler's provided integer types and target architecture capacity. +""" + +project-files = [ "zipada.gpr" ] + +executables = [ +"comp_zip", +"find_zip", +"bzip2_dec", +"bzip2_enc", +"lzma_dec", +"lzma_enc", +"rezip", +"unzipada", +"zipada", +"zip_dir_list" +] + +[origin] +url = "https://sourceforge.net/projects/unzip-ada/files/zipada61.zip" +hashes = ["sha512:54fc9836a9c94107f87f82ce25cfcad9875f6deea8bcd17559f515809198ff8b46c4a1ce1f6b86cc55cc0293b53b54eb5a95eda9f1869529862fd002e0ad8b3f"] + +[gpr-set-externals.'case(os)'] +macos = { Zip_OS = "MacOSX" } +windows = { Zip_OS = "Win64" } From 21c5b0b6b613d548a066cacffeb7e171b8a6008e Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Sun, 9 Mar 2025 19:37:36 +0100 Subject: [PATCH 06/15] apdf 8.0.0 (#1418) * Create apdf-8.0.0.toml * Update apdf-8.0.0.toml Fixed GID dependency. * Update apdf-8.0.0.toml Reverted to gid = ">=9.0.0" * Update apdf-8.0.0.toml Fixed .gpr name. --- index/ap/apdf/apdf-8.0.0.toml | 55 +++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 index/ap/apdf/apdf-8.0.0.toml diff --git a/index/ap/apdf/apdf-8.0.0.toml b/index/ap/apdf/apdf-8.0.0.toml new file mode 100644 index 00000000..d760acab --- /dev/null +++ b/index/ap/apdf/apdf-8.0.0.toml @@ -0,0 +1,55 @@ +description = "Portable package for producing dynamically PDF documents" +name = "apdf" +version = "8.0.0" +authors = ["Gautier de Montmollin"] +website = "https://github.com/zertovitch/ada-pdf-writer" +licenses = "MIT" +maintainers = ["gdemont@hotmail.com"] +maintainers-logins = ["zertovitch", "Fabien-Chouteau"] +project-files = ["pdf_out_w_gid.gpr"] +executables = ["pdf_out_demo", "koch_curve", "sierpinski_arrowhead_curve"] +tags = ["pdf", "adobe", "acrobat"] + +long-description = """ + +**PDF_Out** is an Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics and raster graphics. + +![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_ari_delivery_m.png "Screenshot of a page produced by PDF_Out") +![Ada PDF Screenshot](https://apdf.sourceforge.io/pw_sowebio_m.jpg "Screenshot of a report produced by PDF_Out") + +* Ideal for the dynamic production of reports, invoices, tickets, labels, delivery notes, charts, maps etc. +* Vector graphics +* Inclusion of JPEG images +* Object oriented +* Task safe +* Endian-neutral +* Multi-platform, but native code build +* Unconditionally portable code: OS-, CPU-, compiler- independent code +* Pure Ada 2012: this package can be used in projects in Ada 2012 and later language versions +* *Free*, open-source + +The creation of a PDF file is as simple as this small procedure: + +```ada +with PDF_Out; + +procedure Small_Demo is + pdf : PDF_Out.PDF_Out_File; +begin + pdf.Create ("small.pdf"); + pdf.Put_Line ("This is a very small demo for PDF_Out..."); + pdf.Close; +end Small_Demo; +``` + +""" + +[gpr-externals] +PDF_Build_Mode = ["Debug", "Fast"] + +[[depends-on]] +gid = ">=13.0.1" + +[origin] +url = "https://sourceforge.net/projects/apdf/files/apdf_008.zip" +hashes = ["sha512:7dddb047dc67854f9c0879715704f66dda3ea19c31bf4f81f5de91b72a9367720d3f170131ea61e380acffc5a2f0d3bcb0d2bf31ffb8376173be293514851d1c"] From 9c193c68f3fc6084883c4c6b0404cdcb15bcd398 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 12:46:16 +0400 Subject: [PATCH 07/15] a0b_base 0.4.0 (#1424) --- index/a0/a0b_base/a0b_base-0.4.0.toml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 index/a0/a0b_base/a0b_base-0.4.0.toml diff --git a/index/a0/a0b_base/a0b_base-0.4.0.toml b/index/a0/a0b_base/a0b_base-0.4.0.toml new file mode 100644 index 00000000..dc5c2d34 --- /dev/null +++ b/index/a0/a0b_base/a0b_base-0.4.0.toml @@ -0,0 +1,25 @@ +name = "a0b_base" +description = "A0B: Base components" +website = "https://github.com/godunko/a0b-base" +version = "0.4.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "types", "builtins"] + +project-files=["gnat/a0b_base.gpr"] + +[configuration] +generate_ada = false +generate_gpr = true +generate_c = false + +[configuration.variables] +Tasking = {type = "Enum", values = ["none", "ada", "a0b"], default = "none"} + +[origin] +commit = "a7acf07031a63eb9d31d51f2bf28dab0799ab5c5" +url = "git+https://github.com/godunko/a0b-base.git" + From e72b9e827cee41686669f9d2b740efcbd83bd8fa Mon Sep 17 00:00:00 2001 From: Jon Date: Fri, 14 Mar 2025 05:29:54 -0600 Subject: [PATCH 08/15] sparknacl 4.0.1 (#1425) --- index/sp/sparknacl/sparknacl-4.0.1.toml | 28 +++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/sp/sparknacl/sparknacl-4.0.1.toml diff --git a/index/sp/sparknacl/sparknacl-4.0.1.toml b/index/sp/sparknacl/sparknacl-4.0.1.toml new file mode 100644 index 00000000..e04c8aa3 --- /dev/null +++ b/index/sp/sparknacl/sparknacl-4.0.1.toml @@ -0,0 +1,28 @@ +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 = "4.0.1" +tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"] +licenses = "BSD-3-Clause" +website = "https://github.com/rod-chapman/SPARKNaCl" + +authors = ["Rod Chapman"] +maintainers = ["Rod Chapman ", "Jon Andrew "] +maintainers-logins = ["rod-chapman", "docandrew"] + +[[depends-on]] +gnat=">=14.2.1" + +[gpr-externals] +SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] +SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"] +SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"] +SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"] +SPARKNACL_CONTRACTS = ["enabled", "disabled"] +SPARKNACL_RUNTIME_MODE = ["full", "zfp"] +SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3", "Os"] +SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_a4"] + +[origin] +commit = "8e3cc2e6a67826cbfb1e36559238e03cb024a706" +url = "git+https://github.com/rod-chapman/sparknacl.git" From f2f5f0e4b67a6b8ba232593e83ca6890a6fb4fde Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 15:31:11 +0400 Subject: [PATCH 09/15] a0b_stm32f2_generic_gpio 0.1.0 (#1426) --- .../a0b_stm32f2_generic_gpio-0.1.0.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/a0/a0b_stm32f2_generic_gpio/a0b_stm32f2_generic_gpio-0.1.0.toml diff --git a/index/a0/a0b_stm32f2_generic_gpio/a0b_stm32f2_generic_gpio-0.1.0.toml b/index/a0/a0b_stm32f2_generic_gpio/a0b_stm32f2_generic_gpio-0.1.0.toml new file mode 100644 index 00000000..f0b26ce2 --- /dev/null +++ b/index/a0/a0b_stm32f2_generic_gpio/a0b_stm32f2_generic_gpio-0.1.0.toml @@ -0,0 +1,29 @@ +name = "a0b_stm32f2_generic_gpio" +description = "A0B: STM32F2+ Generic GPIO" +version = "0.1.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "stm32", "gpio"] + +project-files = ["gnat/a0b_stm32f2_generic_gpio.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_gpio = "*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "8f38aacb92d84b69bcc702b740bad5eeb366631b" +url = "git+https://github.com/godunko/a0b-stm32f2-generic_gpio.git" + From ecb271dc26c97fda4d602d02689d10fc08428338 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 15:48:41 +0400 Subject: [PATCH 10/15] a0b_stm32g4 0.1.0 (#1427) --- index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml | 30 +++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml diff --git a/index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml b/index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml new file mode 100644 index 00000000..76f61622 --- /dev/null +++ b/index/a0/a0b_stm32g4/a0b_stm32g4-0.1.0.toml @@ -0,0 +1,30 @@ +name = "a0b_stm32g4" +description = "A0B: STM32G4 base support" +version = "0.1.0" + +website = "https://github.com/godunko/a0b-stm32g4" +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "stm32", "stm32g4"] + +project-files = ["gnat/a0b_stm32g4.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_armv7m="*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "b78590b950a83ffaef2626d112dbf6979b99c80d" +url = "git+https://github.com/godunko/a0b-stm32g4.git" + From 388542838281c5b20e6776d6c1cffd5e3700713c Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 16:57:54 +0400 Subject: [PATCH 11/15] a0b_stm32f2_generic_exti 0.1.0 (#1428) --- .../a0b_stm32f2_generic_exti-0.1.0.toml | 31 +++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 index/a0/a0b_stm32f2_generic_exti/a0b_stm32f2_generic_exti-0.1.0.toml diff --git a/index/a0/a0b_stm32f2_generic_exti/a0b_stm32f2_generic_exti-0.1.0.toml b/index/a0/a0b_stm32f2_generic_exti/a0b_stm32f2_generic_exti-0.1.0.toml new file mode 100644 index 00000000..fe44a12b --- /dev/null +++ b/index/a0/a0b_stm32f2_generic_exti/a0b_stm32f2_generic_exti-0.1.0.toml @@ -0,0 +1,31 @@ +name = "a0b_stm32f2_generic_exti" +description = "A0B: STM32F2+ Generic EXTI" +version = "0.1.0" + +website = "https://github.com/godunko/a0b-stm32f2-generic_exti" +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "stm32", "exti"] + +project-files = ["gnat/a0b_stm32f2_generic_exti.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_exti = "*" +a0b_stm32f2_generic_gpio = "*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "462715064e668a486d4ee4b09819f6f33709941b" +url = "git+https://github.com/godunko/a0b-stm32f2-generic_exti.git" + From 6b5097c786fa02c49b87647c581f3ff83b11d5fe Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 16:58:32 +0400 Subject: [PATCH 12/15] a0b_stm32g474 0.1.0 (#1429) --- .../a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 index/a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml diff --git a/index/a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml b/index/a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml new file mode 100644 index 00000000..34111475 --- /dev/null +++ b/index/a0/a0b_stm32g474/a0b_stm32g474-0.1.0.toml @@ -0,0 +1,30 @@ +name = "a0b_stm32g474" +description = "A0B: STM32G474 base support and SVD files" +version = "0.1.0" + +website = "https://github.com/godunko/a0b-stm32g474" +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "stm32", "stm32g4", "stm32g474"] + +project-files = ["gnat/a0b_stm32g474.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_stm32g4 ="*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "b5a23766903099f974120678719a8ba09355863f" +url = "git+https://github.com/godunko/a0b-stm32g474.git" + From 940f4ecc39a8a6d31baa7df8c0435cc236222f82 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 20:44:34 +0400 Subject: [PATCH 13/15] a0b_stm32g4_gpio 0.1.0 (#1430) --- .../a0b_stm32g4_gpio-0.1.0.toml | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 index/a0/a0b_stm32g4_gpio/a0b_stm32g4_gpio-0.1.0.toml diff --git a/index/a0/a0b_stm32g4_gpio/a0b_stm32g4_gpio-0.1.0.toml b/index/a0/a0b_stm32g4_gpio/a0b_stm32g4_gpio-0.1.0.toml new file mode 100644 index 00000000..1cdd09b0 --- /dev/null +++ b/index/a0/a0b_stm32g4_gpio/a0b_stm32g4_gpio-0.1.0.toml @@ -0,0 +1,30 @@ +name = "a0b_stm32g4_gpio" +description = "A0B: STM32G4 GPIO" +version = "0.1.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "stm32", "stm32g4", "gpio", "exti"] + +project-files = ["gnat/a0b_stm32g4_gpio.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_stm32f2_generic_exti = "*" +a0b_stm32g4 = "*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "2bc15160646b448fd070310dfd2110419ed86a73" +url = "git+https://github.com/godunko/a0b-stm32g4-gpio.git" + From 4598462d846f73be326e65c076abaefbfca18619 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 20:45:33 +0400 Subject: [PATCH 14/15] light_weact_stm32g474 0.1.0 (#1431) --- .../light_weact_stm32g474-0.1.0.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/li/light_weact_stm32g474/light_weact_stm32g474-0.1.0.toml diff --git a/index/li/light_weact_stm32g474/light_weact_stm32g474-0.1.0.toml b/index/li/light_weact_stm32g474/light_weact_stm32g474-0.1.0.toml new file mode 100644 index 00000000..125f296b --- /dev/null +++ b/index/li/light_weact_stm32g474/light_weact_stm32g474-0.1.0.toml @@ -0,0 +1,29 @@ +name = "light_weact_stm32g474" +description = "WeAct STM32G474 BSP for `light` GNAT Runtime" +website = "https://github.com/godunko/light-startup" +version = "0.1.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["embedded", "bsp", "light", "weact", "stm32", "stm32g4", "stm32g474"] + +project-files=["../gnat/light_weact_stm32g474.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[configuration.values] +a0b_armv7m.fpu_extension = "VFPv4" + +[[depends-on]] +a0b_stm32g474 = "*" + +[origin] +commit = "9dc880cc333d790bfbe8c200f0e800a6dc54282e" +subdir = "./weact_stm32g474/" +url = "git+https://github.com/godunko/light-startup.git" + From a5eb413268fec7b218ea516fdaafedc45ccf62b4 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Fri, 14 Mar 2025 21:22:54 +0400 Subject: [PATCH 15/15] a0b_stm32g474_gpio 0.1.0 (#1432) --- .../a0b_stm32g474_gpio-0.1.0.toml | 31 +++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 index/a0/a0b_stm32g474_gpio/a0b_stm32g474_gpio-0.1.0.toml diff --git a/index/a0/a0b_stm32g474_gpio/a0b_stm32g474_gpio-0.1.0.toml b/index/a0/a0b_stm32g474_gpio/a0b_stm32g474_gpio-0.1.0.toml new file mode 100644 index 00000000..0f726371 --- /dev/null +++ b/index/a0/a0b_stm32g474_gpio/a0b_stm32g474_gpio-0.1.0.toml @@ -0,0 +1,31 @@ +name = "a0b_stm32g474_gpio" +description = "A0B: STM32G474 GPIO/EXTI" +version = "0.1.0" + +website = "https://github.com/godunko/a0b-stm32g474-gpio" +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["a0b", "embedded", "gpio", "exti", "stm32", "stm32g4", "stm32g474"] + +project-files = ["gnat/a0b_stm32g474_gpio.gpr"] + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = true + +[[depends-on]] +a0b_stm32g4_gpio = "*" +a0b_stm32g474 = "*" + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "00017fb2e5b7904d8603017eb347b747df4acda4" +url = "git+https://github.com/godunko/a0b-stm32g474-gpio.git" +