Commit a5988689 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Fix Makefile

parent 4cb6e294
...@@ -33,13 +33,13 @@ test-qgen-gt-c: ...@@ -33,13 +33,13 @@ test-qgen-gt-c:
$(TESTQGEN_GT_C) $(ROOT_MODEL) $(TESTQGEN_GT_C) $(ROOT_MODEL)
test-ada: test-ada:
[ $(ARCH) == 64 ] && EXTRAFLAG="--target=x86_64-linux" ; \ #[ $(ARCH) == 64 ] && EXTRAFLAG="--target=x86_64-linux" ;
mkdir -p build && cp *.pr *.asn model_checker.gpr properties build && cd build && \ mkdir -p build && cp *.pr *.asn model_checker.gpr properties build && cd build && \
$(OPENGEODE) orchestrator.pr --shared && \ $(OPENGEODE) orchestrator.pr --shared && \
mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal dataview-uniq.asn && \ mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal dataview-uniq.asn && \
taste-properties -d -s properties orchestrator.pr && \ taste-properties -d -s properties orchestrator.pr && \
taste-asn1-iterators *.asn && \ taste-asn1-iterators *.asn && \
ADA_PROJECT_PATH=~/.local/share/gpr:$ADA_PROJECT_PATH gprbuild -Pmodel_checker $$EXTRAFLAG && ./model_checker ADA_PROJECT_PATH=~/.local/share/gpr:${ADA_PROJECT_PATH} gprbuild -Pmodel_checker && ./model_checker
simu: test-ada simu: test-ada
cd build && make -f Makefile.properties && \ cd build && make -f Makefile.properties && \
......
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