From 6c72e5f14c2c107d6ee8ab6d48604d3d16c54fcb Mon Sep 17 00:00:00 2001
From: Maxime Perrotin <Maxime.Perrotin@esa.int>
Date: Sun, 4 Oct 2020 08:18:06 +0200
Subject: [PATCH] Update shared makefile

---
 tests/testsuite/shared.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/testsuite/shared.mk b/tests/testsuite/shared.mk
index 542e8fa..37db99a 100644
--- a/tests/testsuite/shared.mk
+++ b/tests/testsuite/shared.mk
@@ -13,6 +13,7 @@ TESTQGEN_GT_ADA=../testqgen.py test-qgen-gt-ada
 TESTQGEN_GT_C=../testqgen.py test-qgen-gt-c
 
 clean:
+	gnat clean *.adb
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.so *.ali gnat.cfg \
 	       examiner bin *.wrn GPS_project.gpr *.ll *.s dataview-uniq.c dataview-uniq.h \
 	       real.c xer.c ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm \
@@ -31,7 +32,7 @@ clean:
 %.ali: %.pr FORCE
 	$(OPENGEODE) $< system_structure.pr --toAda && \
 	mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal *.asn && \
-	$(GNATMAKE) -O$(O) -gnat2012 -c -g -fprofile-arcs -ftest-coverage *.adb
+	$(GNATMAKE) -O$(O) -c -g -fprofile-arcs -ftest-coverage *.adb
 
 %.o: %.asn FORCE
 	mono $(ASN1SCC) -c -typePrefix asn1Scc -equal $<  
-- 
GitLab