School of Computer Science

Compiling SCH-IMP

Build prerequisites

Getting the code

SCH-IMP's source code is hosted on GitHub. There are two repositories:

To download the code, clone the schimp repository, then initialise its submodules (of which the prism-ext repository is one):

git clone
cd schimp
git submodule update --init --remote


To build PRISM and the SCH-IMP tool:

# From the schimp/ directory:
ant dist

This outputs schimp.jar and the PRISM native code libraries to dist/. For help with running schimp.jar, follow the Getting Started instructions.