diff options
| author | Stephane Glondu <steph@glondu.net> | 2019-08-05 03:24:35 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2019-08-05 03:41:10 +0200 |
| commit | 9018df8fb97d28ff21d2d049062eb09b27bc82ed (patch) | |
| tree | b0b5c6eeec096b78dd6565631dea90dcb588fd1a | |
| parent | 1e04c47f9ee6e33c6ec5047d34d07ecac5b3ece2 (diff) | |
Update packaging
| -rw-r--r-- | debian/control | 2 | ||||
| -rw-r--r-- | debian/cppo.docs | 2 | ||||
| -rw-r--r-- | debian/cppo.install | 1 | ||||
| -rwxr-xr-x | debian/rules | 10 |
4 files changed, 4 insertions, 11 deletions
diff --git a/debian/control b/debian/control index 9e1cb0b..c84c59a 100644 --- a/debian/control +++ b/debian/control @@ -7,7 +7,7 @@ Build-Depends: ocaml-findlib (>= 1.4), dh-ocaml (>= 0.9~), debhelper (>= 12), - jbuilder, + dune, ocamlbuild Standards-Version: 4.4.0 Homepage: https://github.com/mjambon/cppo diff --git a/debian/cppo.docs b/debian/cppo.docs index b43bf86..a7a328f 100644 --- a/debian/cppo.docs +++ b/debian/cppo.docs @@ -1 +1 @@ -README.md +usr/doc/*/* diff --git a/debian/cppo.install b/debian/cppo.install index 008c5b1..89b5c8e 100644 --- a/debian/cppo.install +++ b/debian/cppo.install @@ -1,3 +1,2 @@ usr/bin/cppo usr/lib/ocaml/cpp* -usr/share/doc/cppo/README.md diff --git a/debian/rules b/debian/rules index c672544..55a960f 100755 --- a/debian/rules +++ b/debian/rules @@ -16,14 +16,8 @@ BUILD_PATH=_build/install/default/lib/cppo_ocamlbuild .PHONY: override_dh_auto_install override_dh_auto_install: - for file in `find $(BUILD_PATH) -type l -printf "%P "`; do \ - mkdir -p $(OCAMLFIND_DESTDIR)/`dirname $$file`; \ - cp -L $(BUILD_PATH)/$$file $(OCAMLFIND_DESTDIR)/$$file; \ - done - mkdir -p $(DESTDIR)/usr/bin - cp -L _build/install/default/bin/cppo $(DESTDIR)/usr/bin - mkdir -p $(DESTDIR)/usr/share/doc/cppo - cp -L README.md $(DESTDIR)/usr/share/doc/cppo/README.md + dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) + rm -f $(DESTDIR)/usr/doc/*/LICENSE.md override_dh_missing: dh_missing --fail-missing |