[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-22-gdb01640

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c4e4ad69379a02350bf16afc78877c944ddf4a7a
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jan 10 21:35:43 2012 +0100

    add an example containing the input of figure 2 from the paper

diff --git a/debian/coinst.examples b/debian/coinst.examples
new file mode 100644
index 0000000..cf6e7e7
--- /dev/null
+++ b/debian/coinst.examples
@@ -0,0 +1,2 @@
+debian/examples/*
+
diff --git a/debian/examples/README b/debian/examples/README
new file mode 100644
index 0000000..8c305cf
--- /dev/null
+++ b/debian/examples/README
@@ -0,0 +1,30 @@
+This directory contains some of the examples from the orginal paper
+
+ at inproceedings{DiCosmoVouillon2011ESEC,
+  author    = "Roberto Di Cosmo and J{\'e}r{\^o}me Vouillon",
+  title     = "On software component co-installability",
+  booktitle = "SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations
+               of Software Engineering (FSE-19) and ESEC'11: 13rd European
+               Software Engineering Conference (ESEC-13)",
+  editor    = "Tibor Gyim{\'o}thy and Andreas Zeller",
+  address   = "Szeged, Hungary",
+  month     = 9,
+  year      = 2011,
+  pages     = "256--266",
+  ee        = "http://doi.acm.org/10.1145/2025113.2025149",
+  publisher = {ACM},
+  isbn      = {978-1-4503-0443-6},
+}
+
+To run coinst on an example file, say input:
+
+  coinst -all -o input.dot < input
+
+You get on standard output the equivalence classes of installable packages,
+the list of not installable packages, and the list of co-installable pairs.
+The graph representation of the kernel can be inspected with 
+
+  dotty input.dot
+
+
+
diff --git a/debian/examples/esec2011-figure2 b/debian/examples/esec2011-figure2
new file mode 100644
index 0000000..b961a1b
--- /dev/null
+++ b/debian/examples/esec2011-figure2
@@ -0,0 +1,26 @@
+Package: aa
+Version: 1
+Depends: bb | cc, ff
+
+Package: bb
+Version: 1
+
+Package: cc
+Version: 1
+Conflicts: bb
+
+Package: ff
+Version: 1
+Conflicts: cc
+
+Package: dd
+Version: 1
+Depends: ee
+
+Package: ee
+Version: 1
+Depends: ff, gg
+
+Package: gg
+Version: 1
+

-- 
coinst packaging