[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