X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=622c7ca3ccab36adae00c767eaaa4dea841a7558;hb=fcb296a542e4aa1319420cc00b07e403bd8a4032;hp=832767abbe788849c7bf761960ba930399005707;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git

diff --git a/DEVEL/lablgtkmathview/debian/rules b/DEVEL/lablgtkmathview/debian/rules
index 832767abb..622c7ca3c 100755
--- a/DEVEL/lablgtkmathview/debian/rules
+++ b/DEVEL/lablgtkmathview/debian/rules
@@ -1,68 +1,8 @@
 #!/usr/bin/make -f
-# Sample debian/rules that uses debhelper.
-# GNU copyright 1997 to 1999 by Joey Hess.
-
-# Uncomment this to turn on verbose mode.
-#export DH_VERBOSE=1
-
-OCAMLABI := $(shell ocamlc -version)
-OCAMLLIBDIR := $(shell ocamlc -where)
-OFILES := $(patsubst %.in,%,$(shell ls debian/*.in))
-
-ocamlinit:
-	for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done
-configure: configure-stamp
-configure-stamp:
-	dh_testdir
-	./configure
-
-	touch configure-stamp
-
-build: configure-stamp build-stamp
-build-stamp:
-	dh_testdir
-
-	$(MAKE)
-	if [ -x /usr/bin/ocamlopt ]; then $(MAKE) opt; else true; fi
-
-	touch build-stamp
-
-clean:
-	dh_testdir
-	dh_testroot
-	rm -f build-stamp configure-stamp
-
-	-$(MAKE) distclean
-
-	dh_clean
-
-install: build
-	dh_testdir
-	dh_testroot
-	dh_clean -k
-	dh_installdirs
-
-	mkdir -p debian/tmp$(OCAMLLIBDIR)
-	$(MAKE) install PREFIX=debian/tmp$(OCAMLLIBDIR)
-
-binary-arch: build install
-	dh_install
-	dh_testdir
-	dh_testroot
-	dh_installdocs
-	dh_installexamples
-	dh_installman
-	dh_installinfo
-	dh_installchangelogs ChangeLog
-	dh_link
-	dh_strip
-	dh_compress
-	dh_fixperms
-	dh_installdeb
-	dh_shlibdeps
-	dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
-	dh_md5sums
-	dh_builddeb
-
-binary: binary-arch
-.PHONY: build clean binary-arch binary install configure
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/autotools.mk
+include /usr/share/cdbs/1/class/ocaml.mk
+DEB_MAKE_INSTALL_TARGET = install PREFIX=$(CURDIR)/debian/tmp$(OCAML_STDLIB_DIR)
+OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)
+OCAML_OCAMLDOC_FLAGS += -I $(OCAML_STDLIB_DIR)/lablgtk2
+OCAML_OCAMLDOC_FLAGS += -I $(OCAML_STDLIB_DIR)/gdome2