SDM : JANUS Compile and Run

Visit JANUS : Introduction page to get general information about JANUS.

Using sdmsh with JANUS

The sdmsh can be used with janus-c implementation from www.januswiki.com with additional patch set. At the moment it is not decided, where to host the official janus-c implementation. Contact sdmsh maintainers to obtain the patchset.

First, you need to unpack janus-c (version 3.0.5) implementation, apply a patchset from EvoLogics and compile the janus-c.

$ ls -l
-rw-rw-r-- 1 komar komar   5284 Aug 30 10:04 janus-c-3.0.5.evologics-patchset.mbox.bz2
-rw-rw-r-- 1 komar komar 278406 Aug 30 10:04 janus-c-3.0.5.zip
$ unzip janus-c-3.0.5.zip
$ cd janus-c-3.0.5
$ git init .
$ git add .
$ git commit -m 'init janus-c-3.0.5'
$ bzcat ../janus-c-3.0.5.evologics-patchset.mbox.bz2 | git am

How to build sdmsh and build janus-c for S2C WiSE sandbox.

Compile janus-c

cd janus-c-3.0.5
cmake .

Run janus-c

How to run sdmsh visit the corresponding link - JANUS : Run