This guide covers how to build and install mbeddr from source, it does not include how to install the fancy model checking tools.
After you have installed Ubuntu 13.04 you will notice that it already ships with Java 7. Since MPS only works with Java 6 you need to downgrade it. The problem is that the official package repository of Ubuntu does not contain a Oracle Java version anymore, there is OpenJDK 6 but it will not work with properly MPS. You can go to Oracles download page and install it on your own but that is pain in the ass. Luckily there is a unofficial repository that can do all the that for you. To add the repository and install Java run this commands:
sudo add-apt-repository ppa:webupd8team/java sudo apt-get update sudo apt-get install oracle-java6-installer
This gives you a working Java 6 but you need to make it the default Java on your machine. This is done with:
sudo apt-get install oracle-java6-set-default
Now you can install MPS from the JetBrains page. Extract the tar.gz to your favorite location. In order to be able to build and run mbeddr you will need some additional stuff: ant, gcc, git, make and graphvis. To install them run:
sudo apt-get install ant git-core graphviz build-essential
After that go to the location where you want to put the mbeddr source code and clone the git repository with:
git clone https://github.com/mbeddr/mbeddr.core.git
Once that is finished set up the build properties file in /path/to/mbeddr.core/code/languages/ there is an example file in the same location that should give you a good point to start from. The finial configuration should look something like this:
mbeddr.github.core.home=/build/mbeddr.core/ mps.platform.caches=/build/mps-ant-caches/ # MPS installation mps.home=/build/mps/
To build mbeddr run:
in the same location.
When that is finished start your MPS and navigate to File -> Settings, there you select GlobalLibraries and create a new variable called mbeddr.core which points to path/to/mbeddr.core/code, save the setting and you are done.
This should give you a working basic mbeddr setup, to verify that it works you can open the tutorial project from the mbeddr page and run some of the samples.
Note: You will not be able to run any of the formal verification stuff, since we did not install them yet. I will extend the guide in the near future to cover that too.