-
Notifications
You must be signed in to change notification settings - Fork 8
/
alire.toml
24 lines (21 loc) · 1.03 KB
/
alire.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
name = "sparknacl"
description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library"
long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties"
version = "4.0.0"
tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
licenses = "BSD-3-Clause"
website = "https://github.com/rod-chapman/SPARKNaCl"
authors = ["Rod Chapman"]
maintainers = ["Rod Chapman <[email protected]>"]
maintainers-logins = ["rod-chapman"]
[[depends-on]]
gnat=">=12.1.1"
[gpr-externals]
SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"]
SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"]
SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"]
SPARKNACL_CONTRACTS = ["enabled", "disabled"]
SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3", "Os"]
SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_a4"]