Skip to content

Commit 7cd8985

Browse files
liyishuailiyishuai
committed
polish dune-project
1 parent af8669b commit 7cd8985

File tree

4 files changed

+117
-25
lines changed

4 files changed

+117
-25
lines changed

‎dune-project

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
(version dev)
66

7-
(generate_opam_files false)
7+
(generate_opam_files true)
88

99
(license GPL-3.0-or-later)
1010

@@ -33,9 +33,9 @@ the changes in each replica to the other.
3333
")
3434
(depends
3535
(ocaml
36-
(>= 4.08))
36+
(and :build (>= 4.08)))
3737
(dune
38-
(>= 2.3))))
38+
(and :build (>= 2.3)))))
3939

4040
(package
4141
(name unison-gui)
@@ -51,10 +51,11 @@ the changes in each replica to the other.
5151
")
5252
(depends
5353
(ocaml
54-
(>= 4.08))
54+
(and :build (>= 4.08)))
5555
(dune
56-
(>= 2.3))
57-
lablgtk))
56+
(and :build (>= 2.3)))
57+
(lablgtk3
58+
(and :build (>= 3.1.0)))))
5859

5960
(package
6061
(name unison-fsmonitor)
@@ -71,6 +72,6 @@ the changes in each replica to the other.
7172
")
7273
(depends
7374
(ocaml
74-
(>= 4.08))
75+
(and :build (>= 4.08)))
7576
(dune
76-
(>= 2.3))))
77+
(and :build (>= 2.3)))))

‎unison-fsmonitor.opam

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
version: "dev"
4+
synopsis: "File-synchronization tool for Unix and Windows"
5+
description: """
6+
This optional add-on for unison monitors file system changes
7+
on all given (relative to root) paths.
8+
9+
Unison is a file-synchronization tool for Unix and Windows.
10+
It allows two replicas of a collection of files and directories
11+
to be stored on different hosts (or different disks on the same host),
12+
modified separately, and then brought up to date by propagating
13+
the changes in each replica to the other.
14+
"""
15+
maintainer: ["[email protected]"]
16+
authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
17+
license: "GPL-3.0-or-later"
18+
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
19+
doc: "https://github.com/bcpierce00/unison/wiki"
20+
bug-reports: "https://github.com/bcpierce00/unison/issues"
21+
depends: [
22+
"ocaml" {build & >= "4.08"}
23+
"dune" {build & >= "2.3"}
24+
]
25+
build: [
26+
["dune" "subst"] {pinned}
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+
]
39+
dev-repo: "git+https://github.com/bcpierce00/unison.git"

‎unison-gui.opam

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
version: "dev"
4+
synopsis: "File-synchronization tool for Unix and Windows"
5+
description: """
6+
Graphical user interface for Unison.
7+
8+
Unison is a file-synchronization tool for Unix and Windows.
9+
It allows two replicas of a collection of files and directories
10+
to be stored on different hosts (or different disks on the same host),
11+
modified separately, and then brought up to date by propagating
12+
the changes in each replica to the other.
13+
"""
14+
maintainer: ["[email protected]"]
15+
authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
16+
license: "GPL-3.0-or-later"
17+
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
18+
doc: "https://github.com/bcpierce00/unison/wiki"
19+
bug-reports: "https://github.com/bcpierce00/unison/issues"
20+
depends: [
21+
"ocaml" {build & >= "4.08"}
22+
"dune" {build & >= "2.3"}
23+
"lablgtk3" {build & >= "3.1.0"}
24+
]
25+
build: [
26+
["dune" "subst"] {pinned}
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+
]
39+
dev-repo: "git+https://github.com/bcpierce00/unison.git"

‎unison.opam

Lines changed: 30 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,25 +1,38 @@
1+
# This file is generated by dune, edit dune-project instead
12
opam-version: "2.0"
2-
maintainer: "[email protected]"
3-
authors: [
4-
"Trevor Jim"
5-
"Benjamin C. Pierce"
6-
"Jérôme Vouillon"
7-
]
3+
version: "dev"
4+
synopsis: "File-synchronization tool for Unix and Windows"
5+
description: """
6+
Text based user interface for Unison.
7+
8+
Unison is a file-synchronization tool for Unix and Windows.
9+
It allows two replicas of a collection of files and directories
10+
to be stored on different hosts (or different disks on the same host),
11+
modified separately, and then brought up to date by propagating
12+
the changes in each replica to the other.
13+
"""
14+
maintainer: ["[email protected]"]
15+
authors: ["Trevor Jim" "Benjamin C. Pierce" "Jérôme Vouillon"]
816
license: "GPL-3.0-or-later"
917
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
18+
doc: "https://github.com/bcpierce00/unison/wiki"
1019
bug-reports: "https://github.com/bcpierce00/unison/issues"
11-
dev-repo: "git://github.com/bcpierce00/unison.git"
12-
build: ["dune" "build" "-p" name "-j" jobs]
1320
depends: [
1421
"ocaml" {build & >= "4.08"}
15-
"ocamlfind" {build}
1622
"dune" {build & >= "2.3"}
17-
"lablgtk3" {build & >= "3.1.0"}
1823
]
19-
synopsis: "File-synchronization tool for Unix and Windows"
20-
description: """
21-
Unison is a file-synchronization tool for Unix and Windows. It allows
22-
two replicas of a collection of files and directories to be stored on
23-
different hosts (or different disks on the same host), modified
24-
separately, and then brought up to date by propagating the changes in
25-
each replica to the other."""
24+
build: [
25+
["dune" "subst"] {pinned}
26+
[
27+
"dune"
28+
"build"
29+
"-p"
30+
name
31+
"-j"
32+
jobs
33+
"@install"
34+
"@runtest" {with-test}
35+
"@doc" {with-doc}
36+
]
37+
]
38+
dev-repo: "git+https://github.com/bcpierce00/unison.git"

0 commit comments

Comments
 (0)