diff options
author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-08-04 16:53:32 +0800 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-08-04 16:58:12 +0800 |
commit | a95e488d62519fe9b3ebe23c8eb6e2fed60eb835 (patch) | |
tree | a4a76f6e2320b4164bcc7c040793d14c8c01c53a | |
parent | 015800d7cc6f9013aa6ba7703af604c08dfaf7b5 (diff) |
Avoid installing LICENSE.md
-rw-r--r-- | debian/cppo.install | 3 | ||||
-rw-r--r-- | debian/not-installed | 2 | ||||
-rwxr-xr-x | debian/rules | 2 |
3 files changed, 6 insertions, 1 deletions
diff --git a/debian/cppo.install b/debian/cppo.install new file mode 100644 index 0000000..008c5b1 --- /dev/null +++ b/debian/cppo.install @@ -0,0 +1,3 @@ +usr/bin/cppo +usr/lib/ocaml/cpp* +usr/share/doc/cppo/README.md diff --git a/debian/not-installed b/debian/not-installed new file mode 100644 index 0000000..907f853 --- /dev/null +++ b/debian/not-installed @@ -0,0 +1,2 @@ +usr/share/doc/cppo/LICENSE.md +usr/share/doc/cppo_ocamlbuild/* diff --git a/debian/rules b/debian/rules index f2aba8e..dfc0c0d 100755 --- a/debian/rules +++ b/debian/rules @@ -7,7 +7,7 @@ include /usr/share/ocaml/ocamlvars.mk -DESTDIR := $(CURDIR)/debian/cppo +DESTDIR := $(CURDIR)/debian/tmp export OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR) INSTALL := opam-installer --prefix=$(DESTDIR)/usr \ |