this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sudo-woodo3@protonmail.com"
3authors: ["Alessandro Cheli"]
4homepage: "https://github.com/0x0f0f0f/gobba"
5bug-reports: "https://github.com/0x0f0f0f/gobba/issues"
6dev-repo: "git+https://github.com/0x0f0f0f/gobba.git"
7license: "MIT"
8synopsis: "A simple, didactical, purely functional programming language"
9description: "A simple, didactical, purely functional programming language written for the programming 2 course at the University of Pisa, extended with a simple parser made with Menhir and ocamllex"
10doc: "https://0x0f0f0f.github.io/gobba"
11
12build: [
13 ["dune" "subst"] {dev}
14 ["dune" "build" "-p" name "-j" jobs]
15 ["sh" "-c" "GOBBA_EXAMPLES=$(realpath ./examples/) dune runtest -p %{name}% -j %{jobs}%"] {with-test}
16]
17
18depends: [
19 "dune" {>= "2.0"}
20 "ocaml" {>= "4.07.0"}
21 "ANSITerminal"
22 "ocamline" {>= "1.2"}
23 "linenoise" {>= "1.3.0"}
24 "menhir"
25 "ppx_deriving"
26 "cmdliner"
27 "owl"
28 "owl-base"
29 "alcotest" {with-test & >= "0.8.5"}
30 "bisect_ppx" {>= "1.4.1" & < "2.6.0"}
31]
32url {
33 src: "https://github.com/0x0f0f0f/gobba/archive/0.4.2.tar.gz"
34 checksum: [
35 "md5=ebd91da495014a6d0a34de40245ab5a6"
36 "sha512=7a5875fff15e8997d9c2db6c3a898c15f9ce144c5b4fce1d57f0c6127eb63d6780458e2fe5e90048fa81ceadd67676de4ccfc3723b2c5fbfe528d68c3b91d842"
37 ]
38}