this repo has no description
Merge pull request #27741 from eponier/jasmin.2025.02.1
Add jasmin.2025.02.1
authored by
Marcello Seri
and committed by
GitHub
7c88ab61
62cfecca
+44
+44
packages/jasmin/jasmin.2025.02.1/opam
+44
packages/jasmin/jasmin.2025.02.1/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
+
["cp" "-L" "compiler/_build/install/default/bin/jasmin2ec" "%{prefix}%/bin/jasmin2ec"]
38
+
["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
39
+
["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
40
+
]
41
+
url {
42
+
src: "https://github.com/jasmin-lang/jasmin/releases/download/v2025.02.1/jasmin-compiler-v2025.02.1.tar.bz2"
43
+
checksum: "sha256=ed6184b6c4c9e3f47edf48331656290af66b672ce267a80309e9961055fee619"
44
+
}