Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
3b58e33e
Commit
3b58e33e
authored
Sep 11, 2017
by
Maxime Perrotin
Browse files
Use mono in the testsuite too
parent
23f510ca
Changes
32
Hide whitespace changes
Inline
Side-by-side
README
View file @
3b58e33e
...
...
@@ -50,7 +50,7 @@ You need to install the following dependencies before you can run Opengeode:
$ sudo apt-get install mono-runtime libmono-system-runtime4.0-cil libmono-i18n-west2.0-cil libmono-posix2.0-cil libmono-security2.0-cil
libmono-system-runtime-serialization4.0-cil
Check that it works:
$ asn1Comp/bin/asn1.exe
$
mono
asn1Comp/bin/asn1.exe
Then add to your PATH the bin directory in e.g. your .bashrc file
$ echo 'export PATH=$PATH:/opt/asn1Comp/bin' >> ~/.bashrc
...
...
opengeode/CGenerator.py
View file @
3b58e33e
...
...
@@ -489,7 +489,7 @@ def _process(process, simu=False, **kwargs):
# bash script to simulate the system (TEMPORARY)
simu_script
=
'''#!/bin/bash -e
opengeode {pr}.pr --shared --toC
asn1.exe -c dataview-uniq.asn -typePrefix asn1Scc -equal
mono $(which
asn1.exe
)
-c dataview-uniq.asn -typePrefix asn1Scc -equal
gcc -c *.c -fPIC
gcc -shared -fPIC -o lib{pr}.so {pr}.o dataview-uniq.o adaasn1rtl.o -lgnat
rm -rf simu
...
...
tests/regression/shared.mk
View file @
3b58e33e
OPENGEODE
=
../../../opengeode/opengeode.py
ASN1SCC
=
asn1.exe
ASN1SCC
=
`
which
asn1.exe
`
CC
=
gcc
LLC
=
llc
GNATMAKE
=
gnatmake
-gnat2012
...
...
@@ -20,15 +20,15 @@ clean:
%.c
:
%.pr FORCE
$(OPENGEODE)
$<
system_structure.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
%.ali
:
%.pr FORCE
$(OPENGEODE)
$<
system_structure.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-c
-g
-fprofile-arcs
-ftest-coverage
*
.adb
%.o
:
%.asn FORCE
$(ASN1SCC)
-c
$<
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
$<
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
-g
$*
.c
%.o
:
%.c FORCE
...
...
tests/regression/test-aggregation2/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
@@ -27,8 +27,8 @@ test-llvm:
test-python
:
$(OPENGEODE)
og.pr
--shared
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-fPIC
-c
*
.adb
$(GNATBIND)
-n
-Llibog
og
$(GNATMAKE)
-c
-fPIC
-gnat2012
b~og.adb
...
...
tests/regression/test-asn1constants/Makefile
View file @
3b58e33e
...
...
@@ -22,7 +22,7 @@ test-llvm: orchestrator.o
test-python
:
$(OPENGEODE)
orchestrator.pr system_structure.pr
--shared
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-c
*
.adb
$(GNATBIND)
-n
-Lliborchestrator
orchestrator
$(GNATMAKE)
-c
-gnat2012
b~orchestrator.adb
...
...
tests/regression/test-battery/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
car.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-choice/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-debug/Makefile
View file @
3b58e33e
...
...
@@ -22,7 +22,7 @@ test-llvm: orchestrator.o
test-python
:
$(OPENGEODE)
orchestrator.pr system_structure.pr
--shared
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-c
*
.adb
$(GNATBIND)
-n
-Lliborchestrator
orchestrator
$(GNATMAKE)
-c
-gnat2012
b~orchestrator.adb
...
...
tests/regression/test-eds1/Makefile
View file @
3b58e33e
...
...
@@ -13,7 +13,7 @@ test-ada:
test-c
:
$(OPENGEODE)
testsc.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-eds1/check_simulation.sh
View file @
3b58e33e
...
...
@@ -5,8 +5,8 @@ cp testsc.pr dataview.asn testsc_simu
cd
testsc_simu
opengeode testsc.pr
--shared
cat
dataview.asn
>>
dataview-uniq.asn
asn1.exe
-Ada
-typePrefix
asn1Scc
-equal
dataview.asn
asn1.exe
-c
-typePrefix
asn1Scc
-equal
dataview.asn
mono
$(
which
asn1.exe
)
-Ada
-typePrefix
asn1Scc
-equal
dataview.asn
mono
$(
which
asn1.exe
)
-c
-typePrefix
asn1Scc
-equal
dataview.asn
gnatmake
-gnat2012
-fPIC
-c
*
.adb
gnatbind
-n
-Llibtestsc
testsc
gnatmake
-c
-fPIC
-gnat2012
b~testsc.adb
...
...
tests/regression/test-eds2/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
demodevicedsap.pr
--toAda
$(ASN1SCC)
-Ada
*
.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
*
.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
demodevicedsap.ali
test-c
:
$(OPENGEODE)
demodevicedsap.pr
--toC
$(ASN1SCC)
-c
*
.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
*
.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-emptysequence/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-emptysequence2/Makefile
View file @
3b58e33e
...
...
@@ -10,7 +10,7 @@ test-parse:
test-ada
:
$(OPENGEODE)
test.pr
--toAda
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
test.ali
...
...
@@ -20,7 +20,7 @@ simu:
test-c
:
$(OPENGEODE)
test.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-forloop/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-iterators/Makefile
View file @
3b58e33e
...
...
@@ -17,7 +17,7 @@ test-ada:
[
$(ARCH)
==
64
]
&&
EXTRAFLAG
=
"--target=x86_64-linux"
;
\
mkdir
-p
build
&&
cp
*
.pr
*
.asn model_checker.gpr properties build
&&
cd
build
&&
\
../../../../opengeode/opengeode.py orchestrator.pr
--shared
&&
\
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
&&
\
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
&&
\
taste-properties
-d
-s
properties orchestrator.pr
&&
\
taste-asn1-iterators
*
.asn
&&
gprbuild
-Pmodel_checker
$$
EXTRAFLAG
&&
./model_checker
...
...
tests/regression/test-nocif/Makefile
View file @
3b58e33e
...
...
@@ -22,7 +22,7 @@ test-llvm: orchestrator.o
test-python
:
$(OPENGEODE)
orchestrator.pr system_structure.pr
--shared
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
-Lliborchestrator
orchestrator
$(GNATMAKE)
-c
b~orchestrator.adb
...
...
tests/regression/test-optionalfield/Makefile
View file @
3b58e33e
...
...
@@ -10,18 +10,18 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
cp
test_ada.ada test_ada.adb
&&
gnat make test_ada.adb
&&
./test_ada
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
test-python
:
$(OPENGEODE)
og.pr
--shared
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-fPIC
-c
*
.adb
$(GNATBIND)
-n
-Llibog
og
$(GNATMAKE)
-c
-fPIC
-gnat2012
b~og.adb
...
...
tests/regression/test-procedure/Makefile
View file @
3b58e33e
...
...
@@ -13,7 +13,7 @@ test-ada:
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
tests/regression/test-processfpar1/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
c
...
...
tests/regression/test-provided1/Makefile
View file @
3b58e33e
...
...
@@ -10,13 +10,13 @@ test-parse:
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
...
...
@@ -27,8 +27,8 @@ test-llvm:
test-python
:
$(OPENGEODE)
og.pr
--shared
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
mono
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-gnat2012
-fPIC
-c
*
.adb
$(GNATBIND)
-n
-Llibog
og
$(GNATMAKE)
-c
-fPIC
-gnat2012
b~og.adb
...
...
Prev
1
2
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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