[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201-12-gde8b0d6
Mehdi Dogguy
dogguy at pps.jussieu.fr
Tue May 19 20:06:03 UTC 2009
The following commit has been merged in the master branch:
commit bb8c714d955936175dc01893050919ea035c9ef4
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Tue May 19 20:47:59 2009 +0200
Desactivate impact plugin… proprietary
diff --git a/debian/README.Debian b/debian/README.Debian
index 8d975ba..0a552d3 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -6,6 +6,7 @@ Several files and directories are deleted from upstream's tarball:
- why/: exists in a Debian package and exports the jessie library
- doc/manuals/: Documentation without sources.
- cil/doc/: Documentation without sources.
+- src/impact : Proprietary code.
The shell script “purify_tarball” is used to make a dfsg-compliant tarball.
diff --git a/debian/purify_tarball b/debian/purify_tarball
index 5ce0c75..b6f3ba5 100755
--- a/debian/purify_tarball
+++ b/debian/purify_tarball
@@ -22,7 +22,8 @@ fi
tar xzf $ORIGFILE
-for i in why ocamlgraph ocamlgraph.tar.gz doc/manuals cil/doc; do
+for i in why ocamlgraph ocamlgraph.tar.gz doc/manuals \
+ src/impact cil/doc; do
safe_remove $DESTDIR/$i;
done
diff --git a/debian/rules b/debian/rules
index 05c46e9..f47d33d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -15,6 +15,7 @@ override_dh_auto_configure:
--infodir=\$${prefix}/share/info \
--datarootdir=\$${prefix}/lib \
--with-why-dir=no \
+ --disable-impact \
--enable-verbosemake \
CFLAGS="$(CFLAGS)" \
LDFLAGS="-Wl,-z,defs"
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list