Breach download and install

Author       Home       Download and install       Systems       Simulation       Temporal Logic       Parameter sets       Graphical User Interfaces      

Prerequesite

Breach is a Matlab toolbox, hence getting it to work is simple, regardless of the operating system used. The only requirement is a recent version of Matlab configured with a compatible C/C++ compiler. Note that lcc, which is provided with some versions of Matlab, does not work since it compiles only C code, not C++. To configure mex, type

>> mex -setup

If a proper compiler is not configured, Matlab will indicate one which is compatible with your system. Install it and run the above command again.

Getting Breach

Breach development is hosted as a Bitbucket project using Mercurial. A copy of the repository can be obtained by the shell command:

$ hg clone https://bitbucket.org/donze/breach

or using some Mercurial client with graphical front-end, such as TortoiseHg.

Install instructions

Installation involves the compilation of some mex functions. This has to be done only once after each update. Under Matlab, CD into the Breach main directory and run the script:

>> InstallBreach

Then before each use, Breach has a few things to initialize to get ready working (mostly getting paths right). To do this, you can use these commands:

>> addpath('/path/to/breach'); 
>> InitBreach
>> savepath

where you have of course to modify the path according to your own configuration. To avoid doing these two commands everytime you start Matlab, you can simply add these two lines to the startup.m file.

Updating Breach

If you got Breach using the anonymous Mercurial repository, the following simple commands should get you to the most up-to-date version of Breach:

$ hg pull -u

Then rerun the install script to recompile mex functions if necessary:

>> InstallBreach

Troubleshooting known issues

GINAC not found

The library GINAC is used in a few functions in Breach, so that it is not needed for most users. Nevertheless, note that this issue can be solved easily at least under Linux distributions based on Debian by installing the packages ginac, ginac-devel and ginac-utils.

Common issue with libstdc++ and libgcc libs

If Matlab is complaining about libstdc++.so or libgcc.so, there is a conflict between the version of these file installed on your system and the version that comes with Matlab. The solution is to remove (or rename) Matlab's version files:

  1. Navigate to matlabroot/sys/os/glnx86.
  2. Rename the following files with a prefix of old:
    • libgcc_s.so.1
    • libstdc++.so.6.0.8

    For example, rename libgcc_s.so.1 to old_libgcc_s.so.1. you must rename both of the above files. Alternately, you can create a subfolder named old and move the files there, or just delete them. It's unlikely that you ever need them anyway.