From 64c9821c98ddc3465d45fc9430e9540d59e20be0 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Wed, 13 Apr 2022 17:56:18 +0200 Subject: [PATCH] Dunify note.0.0.2 --- dune-project | 2 ++ opam => note.opam | 11 ++++------- src/dune | 4 ++++ 3 files changed, 10 insertions(+), 7 deletions(-) create mode 100644 dune-project rename opam => note.opam (68%) create mode 100644 src/dune diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..257a097 --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(lang dune 1.0) +(name note) diff --git a/opam b/note.opam similarity index 68% rename from opam rename to note.opam index 81ff093..1a7030f 100644 --- a/opam +++ b/note.opam @@ -13,14 +13,11 @@ maintainer: "Daniel Bünzli " authors: "The note programmers" license: "ISC" tags: ["reactive" "declarative" "signal" "event" "frp" "org:erratique"] -homepage: "https://erratique.ch/software/note" -doc: "https://erratique.ch/software/note/doc/" +homepage: "https://github.com/dune-universe/note.git" bug-reports: "https://github.com/dbuenzli/note/issues" depends: [ "ocaml" {>= "4.08.0"} - "ocamlfind" {build} - "ocamlbuild" {build} - "topkg" {build & >= "1.0.3"} + "dune" ] -build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"] -dev-repo: "git+https://erratique.ch/repos/note.git" +build: [ "dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} ] +dev-repo: "git+https://github.com/dune-universe/note.git" diff --git a/src/dune b/src/dune new file mode 100644 index 0000000..d6d9a2e --- /dev/null +++ b/src/dune @@ -0,0 +1,4 @@ +(library + (name note) + (public_name note) + (wrapped false))