The following commit has been merged in the master branch: commit 20955312747a834d5c4cbc8f47a0e6d3b4010863 Author: Mehdi Dogguy <me...@debian.org> Date: Sun Jan 10 17:36:02 2010 +0100
Add a new binary package: frama-c-base diff --git a/debian/changelog b/debian/changelog index cc766be..4eced09 100644 --- a/debian/changelog +++ b/debian/changelog @@ -9,6 +9,7 @@ frama-c (20090902+beryllium+dfsg-1) UNRELEASED; urgency=low to build Frama-C). * Run dh using "--with ocaml" to trigger dh-ocaml sequence * Build-depend on ocamlgraph 1.3 + * Add a new binary package: frama-c-base -- Mehdi Dogguy <me...@debian.org> Sun, 10 Jan 2010 15:56:17 +0100 diff --git a/debian/control b/debian/control index 5a837e2..16c637c 100644 --- a/debian/control +++ b/debian/control @@ -23,13 +23,43 @@ Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}, + frama-c-base (= ${binary:Version}), graphviz, - gcc, emacs | emacsen Recommends: why (>= 2.19+dfsg-2), +Description: Framework for source code analysis of software written in C + Frama-C is a framework dedicated to the analysis of the source code + of software written in C. + . + Frama-C gathers several static analysis techniques in a single + collaborative framework. The collaborative approach of Frama-C allows + static analyzers to build upon the results already computed by other + analyzers in the framework. Thanks to this approach, Frama-C provides + sophisticated tools, such as a slicer and dependency analysis. + . + It can be used to: + * Validate the source code formally + * Look for potential runtime errors + * Audit or review it + * Reverse engineer it to understand its structure + * Generate formal documentation + . + This package provides the graphical user interface of Frama-c and depends + on frama-c-base. + +Package: frama-c-base +Architecture: any +Depends: + ${shlibs:Depends}, + ${misc:Depends}, + ${ocaml:Depends}, + gcc, +Recommends: alt-ergo, libwhy-coq +Replaces: frama-c (<< 20090902+beryllium+dfsg-1) +Conflicts: frama-c (<< 20090902+beryllium+dfsg-1) Description: Framework for source code analysis of software written in C Frama-C is a framework dedicated to the analysis of the source code of software written in C. @@ -46,3 +76,6 @@ Description: Framework for source code analysis of software written in C * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation + . + This package provides the library of Frama-c which is useful to build + plugins for Frama-c and the command-line tools. diff --git a/debian/frama-c-base.install.in b/debian/frama-c-base.install.in new file mode 100644 index 0000000..62f0f42 --- /dev/null +++ b/debian/frama-c-base.install.in @@ -0,0 +1,4 @@ + usr/lib + usr/share + usr/bin/frama-c +OPT: usr/bin/frama-c.byte diff --git a/debian/frama-c-base.links.in b/debian/frama-c-base.links.in new file mode 100644 index 0000000..ed872eb --- /dev/null +++ b/debian/frama-c-base.links.in @@ -0,0 +1 @@ +OPT: usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c.byte.1.gz diff --git a/debian/frama-c.manpages b/debian/frama-c-base.manpages similarity index 100% rename from debian/frama-c.manpages rename to debian/frama-c-base.manpages diff --git a/debian/frama-c.install b/debian/frama-c.install new file mode 100644 index 0000000..974ce3e --- /dev/null +++ b/debian/frama-c.install @@ -0,0 +1 @@ +usr/bin/frama-c-gui diff --git a/debian/frama-c.links.in b/debian/frama-c.links.in index b14e9d1..d69009d 100644 --- a/debian/frama-c.links.in +++ b/debian/frama-c.links.in @@ -1,2 +1 @@ - usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c-gui.1.gz -OPT: usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c.byte.1.gz +usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c-gui.1.gz diff --git a/debian/links.in b/debian/links.in deleted file mode 100644 index 1877f84..0000000 --- a/debian/links.in +++ /dev/null @@ -1,2 +0,0 @@ -OPT: usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c.byte.1.gz -OPT: usr/share/man/man1/frama-c-gui.1.gz usr/share/man/man1/frama-c-gui.byte.1.gz diff --git a/debian/rules b/debian/rules index 72693ef..d397374 100755 --- a/debian/rules +++ b/debian/rules @@ -5,7 +5,7 @@ export DH_VERBOSE=1 include /usr/share/ocaml/ocamlvars.mk -FRAMA_DIR=$(CURDIR)/debian/frama-c +FRAMA_DIR=$(CURDIR)/debian/tmp override_dh_auto_configure: mkdir -p lib/plugins -- frama-c packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits