Toolchain

Toolchain

This is a term used by the WP2 team to design a combination of Ceve, EDOSLib and some additional solvers that can perform almost the same task as debcheck/rpmcheck, less efficiently (in particular, the same subproblems are duplicated a lot of times: for each package we produce a different data set, so a given package information is replicated in all data sets that mention it!), but with the possibility of looking at the intermediate steps.

An overview of the tools is drawn in this picture:

To analyze a repository with the toolchain, first, you will EDOSLib, Ceve and solver (see tools). You will also need a version of the SAT-Grasp solver. You can find a statically-linked version in the attachments of this page (sat-grasp). In order to build the toolchain do the following:

• Build the latest version of EDOSLib
  • svn co https://protactinium.pps.jussieu.fr:12345/svn/edos/software/dependencies/EDOSLibDist/
  • Edit the installation directory by changing the distDirectory in the build.xml file
  • ant svn.all
  • This will checkout the latest version of EDOSLib, will compile it and install it in the directory that you have specified.
• Build the latest version of Ceve
• Build the latest version of solver

by doing a svn co https://protactinium.pps.jussieu.fr:12345/svn/edos/software/dependencies/Solver/Sat/Ocaml/ and then "make depend; make all" (See the build requirements of Ceve for building this software)

• Put the Ceve and Solver binaries in the directory where you installed EDOSLib.
• Put the sat-grasp solver in a directory listed in your PATH environment variable.
• Download the toolchain.sh wrapper script for using the toolchain and put it together with the other files in the directory where you installed EDOSLib.

Once you have completed all the previous steps you can use the toolchain by simply invoking the toolchain.sh script. It requires two arguments: the control file that describes all the package repository in the Debian control file format and the name of the package to analyse.

SAT Temperature

To compute the SAT temperature of the problems, first, install all the tools, including the latest version of xlsat, and then use this script (please read the README).