summaryrefslogtreecommitdiffstats
path: root/rdcapsis.opam
diff options
context:
space:
mode:
Diffstat (limited to 'rdcapsis.opam')
-rw-r--r--rdcapsis.opam39
1 files changed, 39 insertions, 0 deletions
diff --git a/rdcapsis.opam b/rdcapsis.opam
new file mode 100644
index 0000000..876bf93
--- /dev/null
+++ b/rdcapsis.opam
@@ -0,0 +1,39 @@
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A short synopsis"
4description: "A longer description"
5maintainer: ["Maintainer Name <[email protected]>"]
6authors: ["Author Name <[email protected]>"]
7license: "LICENSE"
8tags: ["add topics" "to describe" "your" "project"]
9homepage: "https://github.com/username/reponame"
10doc: "https://url/to/documentation"
11bug-reports: "https://github.com/username/reponame/issues"
12depends: [
13 "dune" {>= "3.17"}
14 "ocaml"
15 "zarith"
16 "core"
17 "dmap"
18 "delimited_parsing"
19 "re"
20 "utop" {dev}
21 "merlin" {dev}
22 "ocamlformat" {dev}
23 "odoc" {with-doc}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "@install"
35 "@runtest" {with-test}
36 "@doc" {with-doc}
37 ]
38]
39dev-repo: "git+https://github.com/username/reponame.git"