From cee8642ff4a4ac4c82aa1d76e28cd5170067efdc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= Date: Wed, 21 May 2025 11:26:21 +0200 Subject: [PATCH] gnatprove fsf build for 15.1.0 (#1493) * gnatprove fsf build for 15.1.0 * add myself to maintainers list --- index/gn/gnatprove/gnatprove-15.1.0.toml | 64 ++++++++++++++++++++++++ 1 file changed, 64 insertions(+) create mode 100644 index/gn/gnatprove/gnatprove-15.1.0.toml diff --git a/index/gn/gnatprove/gnatprove-15.1.0.toml b/index/gn/gnatprove/gnatprove-15.1.0.toml new file mode 100644 index 00000000..30eb8667 --- /dev/null +++ b/index/gn/gnatprove/gnatprove-15.1.0.toml @@ -0,0 +1,64 @@ +name = "gnatprove" +version = "15.1.0" +authors = ["AdaCore"] +description = "Automatic formal verification of SPARK code" +maintainers = ["Fabien Chouteau ", "César Sagaert "] +maintainers-logins = ["Fabien-Chouteau", "AldanTanneo"] +licenses = "GPL-3.0-or-later" +website = "https://docs.adacore.com/spark2014-docs/html/ug/index.html" + +long-description = """ +GNATprove, which provides automatic formal verification of SPARK code, is based on the [open-source](https://github.com/AdaCore/spark2014) [SPARK Pro](https://www.adacore.com/sparkpro) by [AdaCore](https://www.adacore.com). +The [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html) provides extensive documentation on how to use GNATprove. +Note that because this version of GNATprove is built from an intermediate commit of SPARK Pro, it is not representative of any specific SPARK Pro release, and the SPARK Pro documentation may describe features or capabilities that are not yet available in this version of GNATprove. + +To use GNATprove, simply add it to your Alire project using + + alr with gnatprove + +Then, configure your environment by running: + + eval "$( alr printenv )" + +You will then be able to run GNATprove: + + gnatprove + +For more details on getting started using GNATprove, see [Getting Started with SPARK](https://docs.adacore.com/spark2014-docs/html/ug/en/getting_started.html) from the [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html). + +To get started with the SPARK language, see the [Introduction to SPARK](https://learn.adacore.com/courses/intro-to-spark/index.html) course on [learn.adacore.com](https://learn.adacore.com/index.html). +""" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" +GPR_PROJECT_PATH.prepend = "${CRATE_ROOT}/lib/gnat" + +[origin."case(os)".windows."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-windows64-15.1.0-1.tar.gz" +hashes = ["sha256:e4a7aacd1d06449da4f1558492c77b1746d0dcf74c0909b18ba46e7fbe95a73e"] +binary = true + +[origin."case(os)".linux."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-linux-15.1.0-1.tar.gz" +hashes = ["sha256:aad9a73f600d3008f33141a6cd4c5314d4c210e8928edc172c23c76104ddf7b2"] +binary = true + +[origin."case(os)".linux."case(host-arch)".aarch64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-linux-15.1.0-1.tar.gz" +hashes = ["sha256:5131b7ccf04bb2c4ed12bd3e65ad92889f48ff1fabab257c6fa8407f067db7de"] +binary = true + +[origin."case(os)".macos."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-darwin-15.1.0-1.tar.gz" +hashes = ["sha256:48bf28200b7305bb042e7665edf9483ca830c883e4cb20c9f47671cc828b349f"] +binary = true + +[origin."case(os)".macos."case(host-arch)".aarch64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-darwin-15.1.0-1.tar.gz" +hashes = ["sha256:a4a9bb7cb0d6a80c422e9e490aa337d8b1ae7b68079be19724761ce3404a5c1a"] +binary = true