polish dune-project

dune-project

@@ -4,7 +4,7 @@
 
 (version dev)
 
-(generate_opam_files false)
+(generate_opam_files true)
 
 (license GPL-3.0-or-later)
 
@@ -33,9 +33,9 @@ the changes in each replica to the other.
 ")
  (depends
   (ocaml
-   (>= 4.08))
+   (and :build (>= 4.08)))
   (dune
-   (>= 2.3))))
+   (and :build (>= 2.3)))))
 
 (package
  (name unison-gui)
@@ -51,10 +51,11 @@ the changes in each replica to the other.
 ")
  (depends
   (ocaml
-   (>= 4.08))
+   (and :build (>= 4.08)))
   (dune
-   (>= 2.3))
-  lablgtk))
+   (and :build (>= 2.3)))
+  (lablgtk3
+   (and :build (>= 3.1.0)))))
 
 (package
  (name unison-fsmonitor)
@@ -71,6 +72,6 @@ the changes in each replica to the other.
 ")
  (depends
   (ocaml
-   (>= 4.08))
+   (and :build (>= 4.08)))
   (dune
-   (>= 2.3))))
+   (and :build (>= 2.3)))))

unison-fsmonitor.opam

@@ -0,0 +1,39 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "dev"
+synopsis: "File-synchronization tool for Unix and Windows"
+description: """
+This optional add-on for unison monitors file system changes
+on all given (relative to root) paths.
+
+Unison is a file-synchronization tool for Unix and Windows.
+It allows two replicas of a collection of files and directories
+to be stored on different hosts (or different disks on the same host),
+modified separately, and then brought up to date by propagating
+the changes in each replica to the other.
+"""
+maintainer: ["juergen@hoetzel.info"]
+authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
+license: "GPL-3.0-or-later"
+homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
+doc: "https://github.com/bcpierce00/unison/wiki"
+bug-reports: "https://github.com/bcpierce00/unison/issues"
+depends: [
+  "ocaml" {build & >= "4.08"}
+  "dune" {build & >= "2.3"}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bcpierce00/unison.git"

unison-gui.opam

@@ -0,0 +1,39 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "dev"
+synopsis: "File-synchronization tool for Unix and Windows"
+description: """
+Graphical user interface for Unison.
+
+Unison is a file-synchronization tool for Unix and Windows.
+It allows two replicas of a collection of files and directories
+to be stored on different hosts (or different disks on the same host),
+modified separately, and then brought up to date by propagating
+the changes in each replica to the other.
+"""
+maintainer: ["juergen@hoetzel.info"]
+authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
+license: "GPL-3.0-or-later"
+homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
+doc: "https://github.com/bcpierce00/unison/wiki"
+bug-reports: "https://github.com/bcpierce00/unison/issues"
+depends: [
+  "ocaml" {build & >= "4.08"}
+  "dune" {build & >= "2.3"}
+  "lablgtk3" {build & >= "3.1.0"}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bcpierce00/unison.git"

unison.opam

@@ -1,25 +1,38 @@
+# This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-maintainer: "juergen@hoetzel.info"
-authors: [
-  "Trevor Jim"
-  "Benjamin C. Pierce"
-  "Jérôme Vouillon"
-]
+version: "dev"
+synopsis: "File-synchronization tool for Unix and Windows"
+description: """
+Text based user interface for Unison.
+
+Unison is a file-synchronization tool for Unix and Windows.
+It allows two replicas of a collection of files and directories
+to be stored on different hosts (or different disks on the same host),
+modified separately, and then brought up to date by propagating
+the changes in each replica to the other.
+"""
+maintainer: ["juergen@hoetzel.info"]
+authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
 license: "GPL-3.0-or-later"
 homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
+doc: "https://github.com/bcpierce00/unison/wiki"
 bug-reports: "https://github.com/bcpierce00/unison/issues"
-dev-repo: "git://github.com/bcpierce00/unison.git"
-build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "ocaml" {build & >= "4.08"}
-  "ocamlfind" {build}
   "dune" {build & >= "2.3"}
-  "lablgtk3" {build & >= "3.1.0"}
 ]
-synopsis: "File-synchronization tool for Unix and Windows"
-description: """
-Unison is a file-synchronization tool for Unix and Windows. It allows
-two replicas of a collection of files and directories to be stored on
-different hosts (or different disks on the same host), modified
-separately, and then brought up to date by propagating the changes in
-each replica to the other."""
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bcpierce00/unison.git"