Commit 738d4c8f authored by dbarbera's avatar dbarbera
Browse files

Added test14 to tests execution list

parent 8d04480c
all: test all: test-ada test-llvm
parse: test-parse:
../../../opengeode.py sequences.pr system_structure.pr --check ../../../opengeode.py sequences.pr system_structure.pr --check
generate-ada: test-ada:
@../../../opengeode.py sequences.pr system_structure.pr --check --toAda ../../../opengeode.py sequences.pr system_structure.pr --check --toAda
asn1.exe -Ada dataview-uniq.asn -typePrefix asn1Scc -equal
compile-ada: generate-ada gnatmake -c *.adb
@asn1.exe -Ada dataview-uniq.asn -typePrefix asn1Scc -equal gcc -c test_ada.c
@gnatmake -c *.adb gnatbind -n sequences.ali
gnatlink test_ada.o sequences.ali -lgnat -lm -o testcase
run-ada: compile-ada ./testcase | diff expected -
@gcc -c test_ada.c
@gnatbind -n sequences.ali test-llvm:
@gnatlink test_ada.o sequences.ali -lgnat -lm -o testcase ../../../opengeode.py sequences.pr system_structure.pr --check --llvm
@./testcase | diff expected - llc sequences.ll
gcc -c sequences.s
generate-llvm: gcc -c test_llvm.c
@../../../opengeode.py sequences.pr system_structure.pr --check --llvm gcc sequences.o test_llvm.o -o testcase
./testcase | diff expected -
compile-llvm: generate-llvm
@llc sequences.ll
@gcc -c sequences.s
run-llvm: compile-llvm
@gcc -c test_llvm.c
@gcc sequences.o test_llvm.o -o testcase
@./testcase | diff expected -
test: run-ada run-llvm
echo "ALL OK!"
clean: clean:
@rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner bin *.wrn *.gpr testcase rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali \
gnat.cfg examiner bin *.wrn *.gpr testcase sequences.ll sequences.s
...@@ -20,6 +20,7 @@ paths = [ ...@@ -20,6 +20,7 @@ paths = [
'regression/test11', 'regression/test11',
'regression/test12', 'regression/test12',
'regression/test13', 'regression/test13',
'regression/test14',
] ]
......
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