this repo has no description
Merge pull request #24981 from vbgl/jasmin-compiler-2023.06.2
Add jasmin.2023.06.2
authored by
Marcello Seri
and committed by
GitHub
f34983a7
f508eabd
+41
+41
packages/jasmin/jasmin.2023.06.2/opam
+41
packages/jasmin/jasmin.2023.06.2/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.4.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
+
["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
36
+
["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
37
+
]
38
+
url {
39
+
src: "https://github.com/jasmin-lang/jasmin/releases/download/v2023.06.2/jasmin-compiler-v2023.06.2.tar.bz2"
40
+
checksum: "sha256=237f8c3f643b10d39d41dbef0aa7320fe23c22617a73ef47403a58e90516b98f"
41
+
}