summaryrefslogtreecommitdiff
path: root/ogit.opam
diff options
context:
space:
mode:
authorMarius Peter <marius.peter@tutanota.com>2025-01-19 20:00:18 +0100
committerMarius Peter <marius.peter@tutanota.com>2025-01-19 20:00:18 +0100
commit8ab5f20f532bc6e9de38ee457b0ef8dd30c80374 (patch)
treeceecccdb379a9298ca2eef7053b1887885134f8d /ogit.opam
Initial commit for ogit.
Diffstat (limited to 'ogit.opam')
-rw-r--r--ogit.opam33
1 files changed, 33 insertions, 0 deletions
diff --git a/ogit.opam b/ogit.opam
new file mode 100644
index 0000000..9588bbf
--- /dev/null
+++ b/ogit.opam
@@ -0,0 +1,33 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Replacement for cgit"
+description: "A longer description"
+maintainer: ["Marius Peter"]
+authors: ["Marius Peter"]
+license: "LICENSE"
+tags: ["topics" "to describe" "your" "project"]
+homepage: "https://github.com/username/reponame"
+doc: "https://url/to/documentation"
+bug-reports: "https://github.com/username/reponame/issues"
+depends: [
+ "ocaml"
+ "dune" {>= "3.16"}
+ "dream"
+ "git"
+ "odoc" {with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]
+dev-repo: "git+https://github.com/username/reponame.git"
Copyright 2019--2025 Marius PETER