The following commit has been merged in the master branch:
commit f7b09845f381afb5b6ad19d700c67c05a1343931
Author: Mehdi Dogguy <[email protected]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
