ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-08 22:12:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
1b059649ff
genode/repos/libports/ports/ada-runtime.port

12 lines
462 B
Plaintext
Raw Normal View History

Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
2019-01-29 17:01:47 +00:00
LICENSE := AGPLv3 + GCC runtime library exception
ada: replace local runtime implementation with port Fixes #3044
2018-11-15 16:46:33 +00:00
VERSION := 0
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
2019-01-29 17:01:47 +00:00
DOWNLOADS := ada-runtime.git ada-runtime-alis.git
ada: replace local runtime implementation with port Fixes #3044
2018-11-15 16:46:33 +00:00
URL(ada-runtime) := https://github.com/Componolit/ada-runtime.git
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
REV(ada-runtime) := ba6063a06e7b17e6cc4585f3d96abd13c7ad1b0b
ada: replace local runtime implementation with port Fixes #3044
2018-11-15 16:46:33 +00:00
DIR(ada-runtime) := ada-runtime
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
2019-01-29 17:01:47 +00:00
URL(ada-runtime-alis) := https://github.com/Componolit/ada-runtime-alis.git
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
REV(ada-runtime-alis) := d548a88f1e17ca1cdcf8f48238faf2563732cdd8
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
2019-01-29 17:01:47 +00:00
DIR(ada-runtime-alis) := ada-runtime-alis
Reference in New Issue Copy Permalink