[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20071212.dfsg-1-30-g1d16edf

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f7b09845f381afb5b6ad19d700c67c05a1343931
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Jan 23 12:43:06 2009 +0100

    Installing MenhirLib

diff --git a/debian/rules b/debian/rules
index 2252fa7..d3ee3f7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,6 +10,7 @@ DESTDIR := $(CURDIR)/debian/menhir
 OCAMLABI := $(shell ocamlc -version)
 IS_NATIVE:= $(wildcard /usr/bin/ocamlopt)
 TARGET   := $(if $(IS_NATIVE),opt,byte)
+STRIPOPT := -e "$(if $(IS_NATIVE),,/native/d)"
 
 build: build-stamp
 build-stamp: patch-stamp
@@ -28,6 +29,9 @@ install-stamp:
 	cp src/menhir $(DESTDIR)/usr/bin/
 	cp src/standard.mly $(DESTDIR)/usr/share/menhir/
 	cp -r demos $(DESTDIR)/usr/share/doc/menhir/
+	mkdir -p $(DESTDIR)/usr/lib/ocaml/$(OCAMLABI)/menhirLib/
+	sed $(STRIPOPT) src/META > $(DESTDIR)/usr/lib/ocaml/$(OCAMLABI)/menhirLib/META
+	cp src/menhirLib.* $(DESTDIR)/usr/lib/ocaml/$(OCAMLABI)/menhirLib/
 	dh install --after auto_install
 	touch $@
 

-- 
menhir packaging