From 702be7d597c536450ae09475811297cba1b2f1cc Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Mon, 28 Dec 2015 11:09:16 +0100
Subject: mcode: use GNATMAKE.

---
 src/ortho/mcode/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ortho/mcode/Makefile b/src/ortho/mcode/Makefile
index 0181ffb..57c0d75 100644
--- a/src/ortho/mcode/Makefile
+++ b/src/ortho/mcode/Makefile
@@ -1,4 +1,5 @@
 ortho_srcdir=..
+GNATMAKE=gnatmake
 GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwlcru -gnat05
 CC=gcc
 BE=mcode
@@ -7,7 +8,7 @@ SED=sed
 all: $(ortho_exec)
 
 $(ortho_exec): $(ortho_srcdir)/mcode/ortho_mcode.ads memsegs_c.o force
-	gnatmake -m -o $@ -g -aI$(ortho_srcdir)/mcode -aI$(ortho_srcdir) \
+	$(GNATMAKE) -o $@ -g -aI$(ortho_srcdir)/mcode -aI$(ortho_srcdir) \
 	-aI$(ortho_srcdir)/.. $(GNAT_FLAGS) ortho_code_main \
 	-bargs -E -largs memsegs_c.o #-static
 
-- 
cgit