From 2b7703f1e7deb3ae7a3863ab6cdb74bcd0de38a0 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Mon, 20 Jul 2009 16:53:54 +0200 Subject: [PATCH] Installing ocamlbyteinfo and ocamlplugininfo --- debian/rules | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/debian/rules b/debian/rules index 2ddd0cf3..44c42d91 100755 --- a/debian/rules +++ b/debian/rules @@ -107,6 +107,7 @@ ifeq (,$(OCAML_OPT_ARCH)) # As of 3.11.0, manpages are made only in `make opt.opt' make -C ocamldoc manpages \ OCAMLDOC_RUN="../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc" + $(MAKE) -f debian/ocamlbyteinfo/Makefile ocamlbyteinfo else @echo "Building native compilers" $(MAKE) opt opt.opt @@ -143,6 +144,7 @@ endif fi # Remaining stuff -rm -Rf debian/$(SRCTARBALL) debian/examples + $(MAKE) -f debian/ocamlbyteinfo/Makefile clean dh clean --after dh_auto_clean install: install-stamp @@ -180,6 +182,11 @@ install-stamp: cp tools/$$u debian/ocaml-nox/usr/bin/ocaml$$u; \ fi \ done + for u in ocamlbyteinfo ocamlplugininfo; do \ + if [ -f debian/ocamlbyteinfo/$$u ]; then \ + cp debian/ocamlbyteinfo/$$u debian/ocaml-nox/usr/bin/$$u; \ + fi \ + done for mli in `find camlp4 -name '*.mli'` ; do \ cp --parents $$mli debian/camlp4$(OCAML_STDLIB_DIR); \ done -- 2.30.2