port to dune

dune-universe · Jun 21, 2023 · 30ce31e · 30ce31e
1 parent f37c8ea
commit 30ce31e
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 14 deletions.
diff --git a/opam → cmarkit.opam b/opam → cmarkit.opam
@@ -31,23 +31,11 @@ doc: "https://erratique.ch/software/cmarkit/doc"
 bug-reports: "https://github.com/dbuenzli/cmarkit/issues"
 depends: [
   "ocaml" {>= "4.14.0"}
-  "ocamlfind" {build}
-  "ocamlbuild" {build}
-  "topkg" {build & >= "1.0.3"}
-  "uucp" {dev}
-  "b0" {dev & with-test}
+  "dune"
 ]
 depopts: ["cmdliner"]
 conflicts: [
   "cmdliner" {< "1.1.0"}
 ]
-build: [
-  "ocaml"
-  "pkg/pkg.ml"
-  "build"
-  "--dev-pkg"
-  "%{dev}%"
-  "--with-cmdliner"
-  "%{cmdliner:installed}%"
-]
+build: [ "dune" "build" "-p" name "-j" jobs ]
 dev-repo: "git+https://erratique.ch/repos/cmarkit.git"
diff --git a/dune-project b/dune-project
@@ -0,0 +1,2 @@
+(lang dune 1.1)
+(name cmarkit)
diff --git a/src/dune b/src/dune
@@ -0,0 +1 @@
+(library (public_name cmarkit) (wrapped false))