Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use make as a build system for opam files. #845

Merged
merged 1 commit into from
Feb 14, 2024
Merged

Use make as a build system for opam files. #845

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
71 changes: 0 additions & 71 deletions dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,75 +2,4 @@

(name unison)

(version dev)

(generate_opam_files false)

(license GPL-3.0-or-later)

(maintainers "unison-hackers@lists.seas.upenn.edu")

(authors "Trevor Jim" "Benjamin C. Pierce" "J\195\169r\195\180me Vouillon")

(source
(github bcpierce00/unison))

(homepage https://www.cis.upenn.edu/~bcpierce/unison/)

(documentation "https://github.com/bcpierce00/unison/wiki")

(package
(name unison)
(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.
")
(depends
(ocaml
(>= 4.08))
(dune
(>= 2.3))))

(package
(name unison-gui)
(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.
")
(depends
(ocaml
(>= 4.08))
(dune
(>= 2.3))
lablgtk))

(package
(name unison-fsmonitor)
(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.
")
(depends
(ocaml
(>= 4.08))
(dune
(>= 2.3))))
4 changes: 2 additions & 2 deletions src/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,14 +18,14 @@
(executable
(name linktext)
(public_name unison)
(package unison)
(package unison) ; Dummy: we don't use packages
(modules linktext)
(libraries unison_lib))

(executable
(name linkgtk3)
(public_name unison-gui)
(package unison-gui)
(package unison-gui) ; Dummy: we don't use packages
(flags :standard -w -3-6-9-27-32-52)
(modules linkgtk3 uigtk3)
(libraries threads unison_lib lablgtk3))
2 changes: 1 addition & 1 deletion src/fsmonitor/inotify/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
(executable
(name watcher)
(public_name unison-fsmonitor)
(package unison-fsmonitor)
(package unison) ; Dummy: we don't use packages
(enabled_if
(or
(= %{system} "linux")
Expand Down
2 changes: 1 addition & 1 deletion src/fsmonitor/solaris/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
(executable
(name watcher)
(public_name unison-fsmonitor)
(package unison-fsmonitor)
(package unison) ; Dummy: we don't use packages
(enabled_if (= %{system} "solaris"))
(modules watcher)
(flags :standard -w -27)
Expand Down
22 changes: 22 additions & 0 deletions unison-gui.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
opam-version: "2.0"
maintainer: "unison-hackers@lists.seas.upenn.edu"
authors: [
"Trevor Jim"
"Benjamin C. Pierce"
"Jérôme Vouillon"
]
license: "GPL-3.0-or-later"
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
bug-reports: "https://github.com/bcpierce00/unison/issues"
dev-repo: "git://github.com/bcpierce00/unison.git"
depends: [
"unison" {= version}
"lablgtk3"
]
synopsis: "Pseudo-package for Unison GUI"
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."""
6 changes: 4 additions & 2 deletions unison.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,12 @@ license: "GPL-3.0-or-later"
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
bug-reports: "https://github.com/bcpierce00/unison/issues"
dev-repo: "git://github.com/bcpierce00/unison.git"
build: ["dune" "build" "-p" name "-j" jobs]
build: [make "-j" jobs]
install: [make "PREFIX=%{prefix}%" "install"]
depends: [
"ocaml" {>= "4.08"}
"dune" {>= "2.3"}
]
depopts: [
"lablgtk3" {>= "3.1.0"}
]
synopsis: "File-synchronization tool for Unix and Windows"
Expand Down
Loading