[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

Mehdi Dogguy mehdi at debian.org
Fri Aug 28 11:23:51 UTC 2009


The following commit has been merged in the master branch:
commit e1c948b7625e366698b90edb5321e859b805ef66
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 00:40:18 2009 +0200

    Create lib/gui before configure and remove it when cleaning.

diff --git a/debian/rules b/debian/rules
index 13c2a5d..ef5e3b8 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,6 +7,7 @@ include /usr/share/ocaml/ocamlinit.mk
 
 override_dh_auto_configure: ocamlinit-stamp
 	mkdir -p lib/plugins
+	mkdir -p lib/gui
 	touch .depend .make-clean
 	./configure $(CROSS) --prefix=/usr       \
 		--mandir=\$${prefix}/share/man   \

-- 
frama-c packaging



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