From c92240a75b12b0f6b3729d185de7b7ede769d8d4 Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Mon, 22 Jul 2024 12:55:26 +0100 Subject: [PATCH] minimal_containers 1.2.0. (#1143) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This fixes two issues: Issue 3, Maps don’t have a Clear operation. Issue 4, Vectors can’t be indexed by Natural. * index/mi/minimal_containers/minimal_containers-1.2.0.toml: new. --- .../minimal_containers-1.2.0.toml | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/mi/minimal_containers/minimal_containers-1.2.0.toml diff --git a/index/mi/minimal_containers/minimal_containers-1.2.0.toml b/index/mi/minimal_containers/minimal_containers-1.2.0.toml new file mode 100644 index 00000000..29ed9b09 --- /dev/null +++ b/index/mi/minimal_containers/minimal_containers-1.2.0.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.0" + +authors = ["Simon Wright"] +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] + +project-files = "minimal_containers.gpr" + +tags = ["containers"] + + +[origin] +commit = "743ed61f36a8f3b1e417f06434ecfd8cb060659f" +url = "git+https://github.com/simonjwright/minimal_containers.git" +