Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Tree [ccf8e8] master /
History



File Date Author Commit
PerformanceApp 2014-02-01 Laurent Voisin Laurent Voisin [98c63d] Port the perf application to the Rodin 3.0 API
_exploratory 2014-02-01 Laurent Voisin Laurent Voisin [91c7c0] Port Decert plug-in to Rodin 3.0 API
org.eventb.smt 2014-03-06 Nicolas Beauger Nicolas Beauger [cab1fe] Update branding plug-in
org.eventb.smt-feature 2014-03-14 Nicolas Beauger Nicolas Beauger [97e233] Upgrade to 1.2.1 version in smt.ui and feature
org.eventb.smt.core 2014-03-05 Nicolas Beauger Nicolas Beauger [0f8025] Wrap SMT call to properly terminate processes
org.eventb.smt.core.performance 2014-02-01 Laurent Voisin Laurent Voisin [f25dd1] Port the SMT plug-ins to the Rodin 3.0 API
org.eventb.smt.core.tests 2014-03-01 Laurent Voisin Laurent Voisin [bcb9bc] Remove obsolete test suites
org.eventb.smt.cvc3 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.cvc3.linux 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.cvc3.macosx 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.cvc3.win32 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.help 2014-03-06 Nicolas Beauger Nicolas Beauger [410ab7] Regenerate help for SMT 1.2.0
org.eventb.smt.releng 2013-10-16 Laurent Voisin Laurent Voisin [e12630] Release 1.1.0
org.eventb.smt.site 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.ui 2014-06-13 Nicolas Beauger Nicolas Beauger [ccf8e8] Fix bug #719: Cannot edit/remove a duplicated S...
org.eventb.smt.ui.tests 2014-06-13 Nicolas Beauger Nicolas Beauger [ccf8e8] Fix bug #719: Cannot edit/remove a duplicated S...
org.eventb.smt.verit 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.verit.linux 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.verit.macosx 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
org.eventb.smt.verit.win32 2014-03-01 Laurent Voisin Laurent Voisin [d6f59d] Implement Maven build and publication
README.txt 2014-03-14 Nicolas Beauger Nicolas Beauger [41836e] In build instructions, set qualifier to git commit
pom.xml 2014-06-11 Laurent Voisin Laurent Voisin [96cc3e] Allow moving elements in UI model

Read Me

Procedure for building the SMT Plug-in with Maven
-------------------------------------------------

1. Download the Rodin target platform bundle from SourceForge (file named
   org.rodinp.dev-VERSION.zip) and unzip it into fresh folder "/tmp/rodin".

     mkdir /tmp/rodin
     cd /tmp
     wget http://sf.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/VERSION/org.rodinp.dev-VERSION.zip/download
     cd rodin
     unzip ../org.rodinp.dev-VERSION.zip


2. Checkout the update site from Subversion:

     cd /tmp
     svn checkout svn+ssh://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/RodinUpdateSite/org.rodinp.updateSite


3. Go to the directory containing this README file and type the command

     mvn -Dtycho.localArtifacts=ignore \
         -DrodinTargetSiteUrl=file://tmp/rodin \
	 -DrodinSiteMirror=/tmp/org.rodinp.updateSite \
	 -DforceContextQualifier="$(git log -1 --format='%h')" \
	 clean install

4. Upload to Source Forge all new jar files of features and plug-ins that have
   been added to /tmp/org.rodinp.updateSite and commit the new p2 files in Subversion.