SCIP

The Makefile is based on the main SCIP Makefile. This means that all compiling options which are available for SCIP are also available for the binpacking project. Below, you find a list of the most important compiling flags, the values they can take, and a short description. The values in bold face are the default values.

• LPS={clp | cpx | none | spx}
  Defines the linear program solver to use:
  • clp use COIN-OR CLP
  • cpx use IBM CPLEX
  • none no LP solver
  • spx use SoPlex
• OPT={dbg | opt}
  Defines if the projects gets compiled in debug (dbg) mode or optimized (opt) mode. In the debug mode all assertions are checked.
• ZIMPL={false | true}
  Defines if the modeling language ZIMPL should be linked to binary or not.

In the following we explain the all Makefile targets.

• lint
  Statically checks the code for uninitialized variables and many other possible problems, which even do not lead to compiler errors. For this, the the external tool flexelint is needed. The call produces the file lint.out which contains all the detected warnings. From the experience when developing SCIP, we strongly recommend to use such a code checker. It is always a surprising the stuff such tools detect.
  
• doc
  Generates a html documentation. For this call the external tool doyxgen is needed. After generating the documentation, you can use your favorite browser to open the main page doc/html/index.shtml.
  
• clean
  Remove all objective files, libraries, and binaries.
  
• test
  Starts an automated test run based on the SCIP test runs (see How to run automated tests with SCIP).
  
• tags
  Generates tags which can be used in the editor emacs and xemacs.
  
• depend
  Generates the dependencies for the compiling process.