Commit 292c19e6 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Build with POHIC.

parent 2e990b1b
...@@ -26,6 +26,7 @@ zip f2 f2/* ...@@ -26,6 +26,7 @@ zip f2 f2/*
echo Building the system with the Ada runtime echo Building the system with the Ada runtime
assert-builder-ocarina.py \ assert-builder-ocarina.py \
-f \ -f \
-p \
--aadlv2 \ --aadlv2 \
--keep-case \ --keep-case \
--interfaceView InterfaceView.aadl \ --interfaceView InterfaceView.aadl \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment