serscis-access-modeller.xml

<?xml version="1.0" ?>
<?xml-stylesheet type='text/xsl' href='interface.xsl'?>
<interface xmlns="http://zero-install.sourceforge.net/2004/injector/interface" xmlns:compile="http://zero-install.sourceforge.net/2006/namespaces/0compile">
  <name>serscis-access-modeller</name>
  <summary>modelling access propagation in capability systems</summary>
  <description>
Given a system of communicating objects and bounds on the behaviours of some of
them, this modeller can be used to prove certain security properties of the
system. It is similar to the Scollar system, but is better at handling dynamic
systems (e.g. modelling factories).</description>
  <category>Development</category>
  <feed-for interface="http://www.serscis.eu/0install/serscis-access-modeller"/>

  <release:management xmlns:release="http://zero-install.sourceforge.net/2007/namespaces/0release">
    <!-- Update the copy of the version number -->
    <release:action phase="commit-release">sed -i &quot;s/^\(version\|release\) = '.*'$/\1 = '$RELEASE_VERSION'/&quot; doc/conf.py</release:action>
  </release:management>
  <homepage>http://www.serscis.eu/sam/</homepage>

  <implementation arch="*-src" compile:min-version="0.23" id="." version="0.16-post">
    <command name="compile" shell-command="make -f ${SRCDIR}/src/Makefile">
      <compile:implementation arch="*-*" main="sam">
	<environment insert="." name="CLASSPATH"/>
	<requires interface="http://repo.roscidus.com/utils/graphviz">
	  <environment insert="." name="GRAPHVIZ_HOME"/>
	</requires>
	<command name="run">
	  <runner interface="http://repo.roscidus.com/java/openjdk-jre">
	    <for-each item-from="ZEROINSTALL_EXTRA_JAVA_OPTIONS" separator=" ">
	      <arg>${item}</arg>
	    </for-each>
	  </runner>
	  <arg>eu.serscis.sam.Main</arg>
	</command>
	<environment insert="doc/examples" name="SAM_EXAMPLES"/>
      </compile:implementation>
    </command>
    <requires interface="http://repo.roscidus.com/python/sphinx">
      <executable-in-path name='sphinx-build'/>
    </requires>
    <requires compile:include-binary="true" interface="http://repo.roscidus.com/java/iris"/>

    <requires compile:include-binary="true" interface="http://repo.roscidus.com/java/swt">
      <environment insert="swt.jar" name="CLASSPATH"/>
    </requires>

    <requires interface="http://repo.roscidus.com/java/sablecc">
      <environment insert="" mode="replace" name="SABLECC"/>
    </requires>
    <requires interface="http://repo.roscidus.com/java/openjdk-jdk">
      <environment insert="bin" name="PATH"/>
    </requires>
    <requires interface="http://repo.roscidus.com/java/openjdk-jre">
      <environment insert="bin" name="PATH"/>
    </requires>
  </implementation>
</interface>