View Code? Open in Web Editor
NEW
This project forked from mbeddr /mbeddr.formal
License: Eclipse Public License 1.0
Batchfile 18.96%
C 11.76%
HTML 58.96%
CSS 9.93%
C++ 0.40%
mbeddr.formal's Introduction
Building (from command line)
for the SMV part of FASTEN we have gradle-based scripts (please configure the needed variables in gradle.properties )
for the other parts (Spin, Safety, etc) we build now only from MPS
to build all languages based on SMV, run gradlew.bat build_smv_languages
to build and execute all unit tests, run gradlew.bat run_smv_tests
(includes also building all languages)
for packaging FASTEN distribution, run gradlew.bat build_fasten_distribution
download MPS 2019.2.x
clone the repository https://github.com/danielratiu/mbeddr.formal.mps-plugins and copy the content of "platform_2019_2_3/plugins" in the "plugins" directory of MPS
start MPS
the path variable mbeddr.formal.home in 'Settings->Appearance & Behavior->Path Variables' to point to the directory which contains the cloned 'mbeddr.formal' repository.
rebuild the project