Commit 41e8b290 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update makefile to access asn1-iterators.gpr

parent 0477d8c3
......@@ -37,7 +37,8 @@ test-ada:
../../../../opengeode/opengeode.py orchestrator.pr --shared && \
mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal dataview-uniq.asn && \
taste-properties -d -s properties orchestrator.pr && \
taste-asn1-iterators *.asn && gprbuild -Pmodel_checker $$EXTRAFLAG && ./model_checker
taste-asn1-iterators *.asn && \
ADA_PROJECT_PATH=~/.local/share/gpr:$ADA_PROJECT_PATH gprbuild -Pmodel_checker $$EXTRAFLAG && ./model_checker
simu: test-ada
cd build && make -f Makefile.properties && \
......
Supports Markdown
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