this repo has no description
anil.recoil.org
1opam-version: "2.0"
2license: "MIT"
3maintainer: "Kate <kit.ty.kate@disroot.org>"
4authors: "Kate <kit.ty.kate@disroot.org>"
5homepage: "https://github.com/kit-ty-kate/labrys"
6dev-repo: "git+https://github.com/kit-ty-kate/labrys.git"
7bug-reports: "https://github.com/kit-ty-kate/labrys/issues"
8patches: ["fix-dune.patch"]
9build: [
10 ["dune" "build" "-p" name "-j" jobs]
11 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
12]
13depends: [
14 "ocaml" {>= "4.04"}
15 "dune" {>= "1.10"}
16 "menhir" {< "20211223"}
17 "base-unix"
18 "cmdliner"
19 "pprint" {< "20220103"}
20 "re" {>= "1.2.2"}
21 "msgpack"
22 "uutf" {>= "1.0.0"}
23 "llvm" {>= "3.8" & < "13.0"}
24 "containers" {>= "2.0" & < "3.0"}
25 "craml" {with-test}
26]
27depexts: [
28 ["libgc-dev"] {os-family = "debian"}
29 ["gc-devel"] {os-distribution = "centos"}
30 ["gc-devel"] {os-distribution = "fedora"}
31 ["gc-devel"] {os-family = "suse" | os-family = "opensuse"}
32 ["gc"] {os-distribution = "arch"}
33 ["gc-dev"] {os-distribution = "alpine"}
34 ["boehmgc"] {os-distribution = "macports" & os = "macos"}
35 ["bdw-gc"] {os-distribution = "homebrew" & os = "macos"}
36 ["boehm-gc"] {os-distribution = "gentoo"}
37 ["devel/boehm-gc"] {os = "netbsd"}
38 ["devel/boehm-gc"] {os = "openbsd"}
39 ["devel/boehm-gc"] {os = "freebsd"}
40]
41tags: [
42 "compiler"
43 "System F"
44 "System Fω"
45 "llvm"
46 "type-system"
47 "language"
48]
49synopsis:
50 "A toy language based on LLVM that implements the System Fω type-system"
51url {
52 src: "https://github.com/kit-ty-kate/labrys/archive/0.1.tar.gz"
53 checksum: [
54 "sha256=1b146b2408c876e4160ce969ac5aaf1d170bc655604304cf3c8fb6bba06d540a"
55 "md5=a18d39762a27e18ff4548978536b8477"
56 ]
57}
58extra-source "fix-dune.patch" {
59 src:
60 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/labrys/fix-dune.patch"
61 checksum: [
62 "sha256=5d060b6c0c5405b9f1f7de98203b7a37a588876871c47b244e775e75d0560483"
63 "md5=06bd57d94ee9a58831c089c5074b5d29"
64 ]
65}