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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 4914d6339477c3a751cb2673a0fb7c8ac0d53f07
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jun 2 14:30:00 2009 +0200

    Update purify_tarball script and copyright file

diff --git a/debian/copyright b/debian/copyright
index 27732ae..b80c1dc 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -34,6 +34,25 @@ Copyright: © 2007-2008 INRIA (Institut National de Recherche en Informatique et
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
+Files: tests/jessie/minix3_strcpy.c
+Files: tests/jessie/minix3_strlen.c
+Copyright: © 1987 by the Vrije Universiteit, Amsterdam, The Netherlands
+License: GPL-2
+
+Files: tests/minix/*
+Copyright: © 1987, 1997, 2006, Vrije Universiteit, Amsterdam, The Netherlands
+License: BSD-3
+
+Files: tests/jessie/*
+Files: tests/spec/purse.c
+Copyright: © 2002-2006 Jean-François COUCHOT
+	   © 2002-2006 Mehdi DOGGUY
+	   © 2002-2006 Jean-Christophe FILLIÂTRE
+	   © 2002-2006 Thierry HUBERT
+	   © 2002-2006 Claude MARCHÉ
+	   © 2002-2006 Yannick MOY
+License: GPL-2
+
 Files: Makefile.plugin
 Files: src/kernel/*.ml*
 Files: src/misc/*.ml*
@@ -85,6 +104,13 @@ Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
+Files: cil/src/frontc/*
+Copyright: © 2001-2003 George C. Necula <necula at cs.berkeley.edu>
+	   © 2001-2003 Scott McPeak <smcpeak at cs.berkeley.edu>
+	   © 2001-2003 Wes Weimer <weimer at cs.berkeley.edu>
+	   © 2001-2003 Ben Liblit <liblit at cs.berkeley.edu>
+License: BSD-3
+
 Files: cil/*
 Copyright: © 2001-2005 George C. Necula <necula at cs.berkeley.edu>
 	   © 2001-2005 Scott McPeak <smcpeak at cs.berkeley.edu>
@@ -93,6 +119,10 @@ Copyright: © 2001-2005 George C. Necula <necula at cs.berkeley.edu>
 License: BSD-3
   See `/usr/share/common-licenses/BSD'.
 
+Files: tests/idtc/*
+Copyright: © 2001 Renaud Pacalet
+License: GPL-2+
+
 Files: external/ptmap.ml
 Files: external/ptmap.mli
 Copyright: © 2005 Institut National de Recherche en Informatique et en Automatique
diff --git a/debian/purify_tarball b/debian/purify_tarball
index b0120a1..c2bb390 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 src/security cil/doc; do
+	src/impact src/security cil/doc tests/test/adpcm.c; do
 	safe_remove $DESTDIR/$i;
 done
 

-- 
frama-c packaging