lambda/lambda.opam at main · Tozarin/lambda · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Lambda solver"
description: "Lambda solver with small step"
maintainer: ["https://github.com/Tozarin"]
authors: ["Startsev Matvey"]
license: "LGPL-3.0-only"
homepage: "https://github.com/tozarin/lambda"
bug-reports: "https://github.com/tozarin/lambda/issues"
depends: [
  "ocaml"
  "dune" {>= "3.4"}
  "bisect_ppx" {dev & >= "2.5.0"}
  "angstrom"
  "ppx_inline_test" {with-test}
  "qcheck-core"
  "ppx_expect"
  "ppx_show"
  "ppx_deriving"
  "odoc" {with-doc}
  "ocamlformat" {build}
  "base"
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/tozarin/lambda.git"