this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Compiler for High-Assurance and High-Speed Cryptography"
3description: """
4Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin
5implementations aim at being efficient, safe, correct, and secure.
6"""
7maintainer: "Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>"
8author: "Jasmin authors and contributors"
9license: "MIT"
10homepage: "https://github.com/jasmin-lang/jasmin"
11bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
12dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
13
14depends: [
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]
29build: [
30 [make "-C" "compiler" "build"]
31]
32install: [
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]
40url {
41 src: "https://github.com/jasmin-lang/jasmin/releases/download/v2024.07.3/jasmin-compiler-v2024.07.3.tar.bz2"
42 checksum: "sha256=cf9278cf19ecca43565de01f4b41a1538a0ad062456b9a9c6bd1e18335b1ff7e"
43}