[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.1-2-3-g2b7703f

Mehdi Dogguy dogguy at pps.jussieu.fr
Mon Jul 20 16:15:59 UTC 2009


The following commit has been merged in the master branch:
commit 2b7703f1e7deb3ae7a3863ab6cdb74bcd0de38a0
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Jul 20 16:53:54 2009 +0200

    Installing ocamlbyteinfo and ocamlplugininfo

diff --git a/debian/rules b/debian/rules
index 2ddd0cf..44c42d9 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

-- 
OCaml packaging



More information about the Pkg-ocaml-maint-commits mailing list