From 17dcda725fed4008ae170e1fe8e008bcaf2107ae Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Sat, 6 Jul 2024 22:09:18 +0100 Subject: [PATCH] Updating Minimal_Containers to 1.1.0. --- .../minimal_containers-1.1.0.toml | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/mi/minimal_containers/minimal_containers-1.1.0.toml diff --git a/index/mi/minimal_containers/minimal_containers-1.1.0.toml b/index/mi/minimal_containers/minimal_containers-1.1.0.toml new file mode 100644 index 000000000..e459ff50e --- /dev/null +++ b/index/mi/minimal_containers/minimal_containers-1.1.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.1.0" + +authors = ["Simon Wright"] +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] + +project-files = "minimal_containers.gpr" + +tags = ["containers"] + + +[origin] +commit = "9e358146ca9a4be867a23562565f8a3115cf2f83" +url = "git+https://github.com/simonjwright/minimal_containers.git" +