[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-6-16-gdbbc991
Mehdi Dogguy
mehdi at debian.org
Tue Apr 27 14:42:42 UTC 2010
The following commit has been merged in the master branch:
commit 5698b0bed211317617cdc777fc508539ef63191b
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Mon Apr 26 21:11:00 2010 +0200
Keep plugins/gui directory which contains now some plugins
diff --git a/debian/rules b/debian/rules
index 58461ac..39c67a8 100755
--- a/debian/rules
+++ b/debian/rules
@@ -33,8 +33,6 @@ override_dh_auto_install:
$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/ptests.byte
# Same file as frama-c.1. We use a symlink instead of copying the file twice
$(RM) -f $(FRAMA_DIR)/usr/share/man/man1/frama-c-gui.1
- # Empty directory
- $(RM) -rf $(FRAMA_DIR)/usr/lib/frama-c/plugins/gui/
ifeq ($(OCAML_OPT_ARCH),)
$(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c.byte
endif
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list