this repo has no description
Merge pull request #26224 from eponier/jasmin.2024.07.0
Add jasmin.2024.07.0
authored by
Marcello Seri
and committed by
GitHub
e97076b1
7a5a79a0
+43
+43
packages/jasmin/jasmin.2024.07.0/opam
+43
packages/jasmin/jasmin.2024.07.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Compiler for High-Assurance and High-Speed Cryptography"
3
+
description: """
4
+
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin
5
+
implementations aim at being efficient, safe, correct, and secure.
6
+
"""
7
+
maintainer: "Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>"
8
+
author: "Jasmin authors and contributors"
9
+
license: "MIT"
10
+
homepage: "https://github.com/jasmin-lang/jasmin"
11
+
bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
12
+
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
13
+
14
+
depends: [
15
+
"ocaml" {>= "4.11" & build}
16
+
"batteries" {>= "3.5.0"}
17
+
"menhir" {>= "20160825" & build}
18
+
"menhirLib"
19
+
"camlidl"
20
+
"zarith" {>= "1.9.0"}
21
+
"apron" {>= "v0.9.12"}
22
+
"conf-ppl"
23
+
"yojson" {>= "1.6.0"}
24
+
"dune" {>= "3.2"}
25
+
"cmdliner" {>= "1.1" & build }
26
+
"angstrom" {>= "0.14.0"}
27
+
"ocamlfind" { build }
28
+
]
29
+
build: [
30
+
[make "-C" "compiler" "build"]
31
+
]
32
+
install: [
33
+
["mkdir" "-p" "%{prefix}%/bin"]
34
+
["cp" "-L" "compiler/_build/install/default/bin/jasminc" "%{prefix}%/bin/jasminc"]
35
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin2tex" "%{prefix}%/bin/jasmin2tex"]
36
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin-ct" "%{prefix}%/bin/jasmin-ct"]
37
+
["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
38
+
["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
39
+
]
40
+
url {
41
+
src: "https://github.com/jasmin-lang/jasmin/releases/download/v2024.07.0/jasmin-compiler-v2024.07.0.tar.bz2"
42
+
checksum: "sha256=8c4d4b48bfdf5bb44a13919e57362dc38685c6dcd38b3ec86ac0f96300e6e071"
43
+
}