Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
7c9b10a6
Commit
7c9b10a6
authored
Jun 14, 2014
by
dbarbera
Browse files
Added llvm generation rule
parent
049ec699
Changes
13
Show whitespace changes
Inline
Side-by-side
tests/regression/test1/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
og.pr system_structure.pr
../../../opengeode.py
--toAda
og.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
og.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test10/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
challenge.pr system_structure.pr
../../../opengeode.py
--toAda
challenge.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
challenge.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
@@ -13,7 +15,6 @@ compile: generate-code
...
@@ -13,7 +15,6 @@ compile: generate-code
./testcase
>
result
./testcase
>
result
diff result expected
&&
echo
'All OK!'
diff result expected
&&
echo
'All OK!'
parse
:
parse
:
../../../opengeode.py challenge.pr system_structure.pr
--check
../../../opengeode.py challenge.pr system_structure.pr
--check
...
...
tests/regression/test11/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
og.pr system_structure.pr
../../../opengeode.py
--toAda
og.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
og.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
@@ -13,7 +15,6 @@ compile: generate-code
...
@@ -13,7 +15,6 @@ compile: generate-code
./testcase
>
result
./testcase
>
result
diff result expected
&&
echo
'All OK!'
diff result expected
&&
echo
'All OK!'
parse
:
parse
:
../../../opengeode.py og.pr system_structure.pr
--check
../../../opengeode.py og.pr system_structure.pr
--check
...
...
tests/regression/test12/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
trafficlight.pr system_structure.pr
../../../opengeode.py
--toAda
trafficlight.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
trafficlight.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
@@ -11,7 +13,6 @@ compile: generate-code
...
@@ -11,7 +13,6 @@ compile: generate-code
gnatbind
-n
trafficlight.ali
gnatbind
-n
trafficlight.ali
#gnatlink -o testcase test.o trafficlight.ali -lgnat -lm
#gnatlink -o testcase test.o trafficlight.ali -lgnat -lm
parse
:
parse
:
../../../opengeode.py trafficlight.pr system_structure.pr
--check
../../../opengeode.py trafficlight.pr system_structure.pr
--check
...
...
tests/regression/test13/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,9 @@ all: compile
...
@@ -3,6 +3,9 @@ all: compile
generate-ada
:
generate-ada
:
../../../opengeode.py basic.pr system_structure.pr
--check
--toAda
../../../opengeode.py basic.pr system_structure.pr
--check
--toAda
generate-llvm
:
../../../opengeode.py basic.pr system_structure.pr
--check
--llvm
compile-ada
:
generate-ada
compile-ada
:
generate-ada
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
gnatmake
-c
*
.adb
gnatmake
-c
*
.adb
...
@@ -11,9 +14,6 @@ compile-ada: generate-ada
...
@@ -11,9 +14,6 @@ compile-ada: generate-ada
gnatlink
-o
testcase test.o basic.ali
-lgnat
-lm
gnatlink
-o
testcase test.o basic.ali
-lgnat
-lm
./testcase
&&
echo
'All OK!'
./testcase
&&
echo
'All OK!'
generate-llvm
:
../../../opengeode.py basic.pr system_structure.pr
--check
--llvm
parse
:
parse
:
../../../opengeode.py basic.pr system_structure.pr
--check
../../../opengeode.py basic.pr system_structure.pr
--check
...
...
tests/regression/test2/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,9 @@ all: compile
...
@@ -3,6 +3,9 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
orchestrator.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
gnatmake
-c
orchestrator.adb
&&
echo
'All OK!'
gnatmake
-c
orchestrator.adb
&&
echo
'All OK!'
...
...
tests/regression/test3/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
fce.pr system_structure.pr
../../../opengeode.py
--toAda
fce.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
fce.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test4/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
orchestrator.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test5/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
function0.pr system_structure.pr
../../../opengeode.py
--toAda
function0.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
function0.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test6/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
myfunction.pr system_structure.pr
../../../opengeode.py
--toAda
myfunction.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
myfunction.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test7/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
orchestrator.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test8/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
../../../opengeode.py
--toAda
orchestrator.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
orchestrator.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
tests/regression/test9/Makefile
View file @
7c9b10a6
...
@@ -3,6 +3,8 @@ all: compile
...
@@ -3,6 +3,8 @@ all: compile
generate-code
:
generate-code
:
../../../opengeode.py
--toAda
challenge.pr system_structure.pr
../../../opengeode.py
--toAda
challenge.pr system_structure.pr
generate-llvm
:
../../../opengeode.py
--llvm
challenge.pr system_structure.pr
compile
:
generate-code
compile
:
generate-code
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment