this repo has no description
Merge pull request #26051 from eponier/jasmin-2023.06.3
Add jasmin.2023.06.3
authored by
Marcello Seri
and committed by
GitHub
601dcd14
c7829345
+42
+42
packages/jasmin/jasmin.2023.06.3/opam
+42
packages/jasmin/jasmin.2023.06.3/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
+
"ocamlfind" { build }
27
+
]
28
+
build: [
29
+
[make "-C" "compiler" "build"]
30
+
]
31
+
install: [
32
+
["mkdir" "-p" "%{prefix}%/bin"]
33
+
["cp" "compiler/_build/default/entry/jasminc.exe" "%{prefix}%/bin/jasminc"]
34
+
["cp" "compiler/_build/default/entry/jazz2tex.exe" "%{prefix}%/bin/jazz2tex"]
35
+
["cp" "compiler/_build/default/entry/jazzct.exe" "%{prefix}%/bin/jazzct"]
36
+
["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
37
+
["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
38
+
]
39
+
url {
40
+
src: "https://github.com/jasmin-lang/jasmin/releases/download/v2023.06.3/jasmin-compiler-v2023.06.3.tar.bz2"
41
+
checksum: "sha256=169dd032c05a3ce03a2fa90e81f7e81da240ca9243b7c2714fc1150c3a4f00ab"
42
+
}