[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090901+beryllium+dfsg-2-13-g9f4d396

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 20955312747a834d5c4cbc8f47a0e6d3b4010863
Author: Mehdi Dogguy <mehdi at 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 <mehdi at 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