this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "protz@microsoft.com"
3authors: "Jonathan Protzenko <jonathan.protzenko@gmail.com>"
4homepage: "https://github.com/fstarlang/kremlin"
5license: "Apache-2.0"
6depends: [
7 "ocaml" {>= "4.08.0"}
8 "ocamlfind" {build}
9 "batteries"
10 "zarith"
11 "stdint"
12 "yojson"
13 "ocamlbuild" {build}
14 "fileutils"
15 "menhir" {>= "20161115"}
16 "pprint"
17 "ulex"
18 "process"
19 "fix"
20 "visitors"
21 "wasm" {= "1.1.1"}
22 "ppx_deriving"
23 "ppx_deriving_yojson"
24 "fstar" {= "2022.01.15"}
25]
26depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
27build: [
28 [make "PREFIX=%{prefix}%"]
29]
30install: [
31 [make "PREFIX=%{prefix}%" "install"]
32]
33remove: [
34 [ "rm" "-rf"
35 "%{prefix}%/lib/kremlin"
36 "%{prefix}%/include/kremlin"
37 "%{prefix}%/doc/kremlin"
38 "%{prefix}%/bin/krml"
39 "%{prefix}%/share/kremlin" ]
40]
41dev-repo: "git+https://github.com/FStarLang/kremlin"
42bug-reports: "https://github.com/FStarLang/kremlin/issues"
43synopsis: "A compiler from Low*, a low-level subset of F*, to C"
44flags: light-uninstall
45url {
46 src: "https://github.com/ocaml/opam-source-archives/raw/main/kremlin-1.0.0.zip"
47 checksum: [
48 "md5=b8bf9167faca0927f86cf5bb1d3d987a"
49 "sha512=e49938727bf31dc6fd739628be6fbe97fe01ec7dde2e7e72ee57af1ab2fc61934728f3b7b792268f432e6bb03a03f9aa48da9b7908b15ca9162fb0819790ccf2"
50 ]
51}