this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Generate dune rules for other ortac plugins"
4description: "Generate dune rules for other ortac plugins"
5maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
6authors: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
7license: "MIT"
8homepage: "https://github.com/ocaml-gospel/ortac"
9bug-reports: "https://github.com/ocaml-gospel/ortac/issues"
10depends: [
11 "dune" {>= "3.8"}
12 "ocaml" {>= "4.12.0"}
13 "fmt"
14 "cmdliner" {>= "1.1.0"}
15 "ortac-core" {= version}
16 "ortac-qcheck-stm" {with-test & = version}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "--promote-install-files=false"
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33 ["dune" "install" "-p" name "--create-install-files" name]
34]
35dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
36x-maintenance-intent: ["(latest)"]
37url {
38 src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.6.0.tar.gz"
39 checksum: [
40 "md5=35bd7a9f57964cf592fa8766ff25c68e"
41 "sha512=6d704cb3ef0cf0654e43a8e417089e451eddd604bffb72aad46cfa0ed283ca8fbc5ae586d9731a47ff1d0c8e45a100e473aa13fb96f0a2b269df9759d3cd6fae"
42 ]
43}