[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4
Mehdi Dogguy
dogguy at pps.jussieu.fr
Wed May 20 13:33:00 UTC 2009
The following commit has been merged in the master branch:
commit 1df3534f8b03bfb9dd77aadd9997cd69ca96a951
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Wed May 20 15:11:00 2009 +0200
Disabling another proprietary plugin.
diff --git a/debian/purify_tarball b/debian/purify_tarball
index b6f3ba5..b0120a1 100755
--- a/debian/purify_tarball
+++ b/debian/purify_tarball
@@ -23,7 +23,7 @@ fi
tar xzf $ORIGFILE
for i in why ocamlgraph ocamlgraph.tar.gz doc/manuals \
- src/impact cil/doc; do
+ src/impact src/security cil/doc; do
safe_remove $DESTDIR/$i;
done
diff --git a/debian/rules b/debian/rules
index f47d33d..8c2fb88 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,6 +16,7 @@ override_dh_auto_configure:
--datarootdir=\$${prefix}/lib \
--with-why-dir=no \
--disable-impact \
+ --disable-security \
--enable-verbosemake \
CFLAGS="$(CFLAGS)" \
LDFLAGS="-Wl,-z,defs"
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list