Merge pull request #26224 from eponier/jasmin.2024.07.0

Add jasmin.2024.07.0

Author: mseri

packages/jasmin/jasmin.2024.07.0/opam

@@ -0,0 +1,43 @@
+opam-version: "2.0"
+synopsis: "Compiler for High-Assurance and High-Speed Cryptography"
+description: """
+Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin
+implementations aim at being efficient, safe, correct, and secure.
+"""
+maintainer: "Jean-Christophe Léchenet <[email protected]>"
+author: "Jasmin authors and contributors"
+license: "MIT"
+homepage: "https://github.com/jasmin-lang/jasmin"
+bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
+dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"
+
+depends: [
+  "ocaml" {>= "4.11" & build}
+  "batteries" {>= "3.5.0"}
+  "menhir" {>= "20160825" & build}
+  "menhirLib"
+  "camlidl"
+  "zarith" {>= "1.9.0"}
+  "apron" {>= "v0.9.12"}
+  "conf-ppl"
+  "yojson" {>= "1.6.0"}
+  "dune" {>= "3.2"}
+  "cmdliner" {>= "1.1" & build }
+  "angstrom" {>= "0.14.0"}
+  "ocamlfind" { build }
+]
+build: [
+  [make "-C" "compiler" "build"]
+]
+install: [
+  ["mkdir" "-p" "%{prefix}%/bin"]
+  ["cp" "-L" "compiler/_build/install/default/bin/jasminc" "%{prefix}%/bin/jasminc"]
+  ["cp" "-L" "compiler/_build/install/default/bin/jasmin2tex" "%{prefix}%/bin/jasmin2tex"]
+  ["cp" "-L" "compiler/_build/install/default/bin/jasmin-ct" "%{prefix}%/bin/jasmin-ct"]
+  ["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"]
+  ["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""]
+]
+url {
+  src: "https://github.com/jasmin-lang/jasmin/releases/download/v2024.07.0/jasmin-compiler-v2024.07.0.tar.bz2"
+  checksum: "sha256=8c4d4b48bfdf5bb44a13919e57362dc38685c6dcd38b3ec86ac0f96300e6e071"
+}