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 https://github.com/schimp/schimp
cd schimp
git submodule update --init --remote

Building

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.