From df822039dd62fa9ac08a9d2023f27527184e102b Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Sun, 1 Dec 2024 12:00:08 +0000 Subject: [PATCH] minimal_containers 1.2.1 (via `alr publish --submit`) --- .../minimal_containers-1.2.1.toml | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/mi/minimal_containers/minimal_containers-1.2.1.toml diff --git a/index/mi/minimal_containers/minimal_containers-1.2.1.toml b/index/mi/minimal_containers/minimal_containers-1.2.1.toml new file mode 100644 index 000000000..d8ef4f0b7 --- /dev/null +++ b/index/mi/minimal_containers/minimal_containers-1.2.1.toml @@ -0,0 +1,28 @@ +name = "minimal_containers" +description = "Much reduced version of Ada.Containers (bounded Maps, Vectors)" +long-description = """ +The motivation for these containers was use in [ColdFrame](https://simonjwright.github.io/coldframe/), an open-source code generator backend for use with UML tools in a restricted environment (a BBC micro:bit). + +In such an environment, it's normal to strip out unused code and data at link time (`-gc-sections` with GNU `ld`, `-dead_strip` with Apple `ld`). + +Unfortunately, it turns out that no primitive subprograms of tagged types can be stripped (they are all referenced by the dispatch table). + +These containers are still tagged, because (without compiler extensions) ColdFrame expects to use prefixed notation (_object_._primitive subprogram (...)_, as would users). However, the number of subprograms has been much reduced. +""" +website="https://github.com/simonjwright/minimal_containers" +licenses= "GPL-3.0-or-later WITH GCC-exception-3.1" +version = "1.2.1" + +authors = ["Simon Wright"] +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] + +project-files = "minimal_containers.gpr" + +tags = ["containers"] + + +[origin] +commit = "4b394fb5aed463eca462ddcca2ade69b3c3466eb" +url = "git+https://github.com/simonjwright/minimal_containers.git" +