bare_runtime

Minimal Ada/SPARK run-time for embedded or other restricted targets

Usage

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
example		example
sanity-checks		sanity-checks
src		src
.gitignore		.gitignore
README.md		README.md
ada_object_path		ada_object_path
ada_source_path		ada_source_path
alire.toml		alire.toml
bare_runtime.gpr		bare_runtime.gpr
runtime.xml		runtime.xml
target_options.gpr		target_options.gpr