Skip to content

Commit 27efe3f

Browse files
liyishuailiyishuai
committed
polish dune-project
1 parent 9667168 commit 27efe3f

File tree

4 files changed

+112
-19
lines changed

4 files changed

+112
-19
lines changed

‎dune-project

Lines changed: 3 additions & 2 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

@@ -54,7 +54,8 @@ the changes in each replica to the other.
5454
(>= 4.08))
5555
(dune
5656
(>= 2.3))
57-
lablgtk))
57+
(lablgtk
58+
(>= 2.18.6))))
5859

5960
(package
6061
(name unison-fsmonitor)

‎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" {>= "4.08"}
23+
"dune" {>= "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" {>= "4.08"}
22+
"dune" {>= "2.3"}
23+
"lablgtk" {>= "2.18.6"}
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: 31 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +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: [
14-
"ocaml" {>= "4.03"}
21+
"ocaml" {>= "4.08"}
1522
"dune" {>= "2.3"}
16-
"lablgtk" {>= "2.18.6"}
1723
]
18-
synopsis: "File-synchronization tool for Unix and Windows"
19-
description: """
20-
Unison is a file-synchronization tool for Unix and Windows. It allows
21-
two replicas of a collection of files and directories to be stored on
22-
different hosts (or different disks on the same host), modified
23-
separately, and then brought up to date by propagating the changes in
24-
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)