From 22e5cd34c564bbc838a9765f6acd22ce73a47d93 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 14 Sep 2018 03:02:10 +0200 Subject: Remove -gnat05, always use GNATFLAGS. Fix #651 --- src/ortho/llvm/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/ortho/llvm') diff --git a/src/ortho/llvm/Makefile b/src/ortho/llvm/Makefile index 8c6a8d7f2..e1940c7a3 100644 --- a/src/ortho/llvm/Makefile +++ b/src/ortho/llvm/Makefile @@ -1,5 +1,5 @@ ortho_srcdir=.. -GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwael -gnat05 +GNATFLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwael CXX=clang++ LLVM_CONFIG=llvm-config GNATMAKE=gnatmake @@ -10,7 +10,7 @@ all: $(ortho_exec) $(ortho_exec): $(ortho_srcdir)/llvm/ortho_llvm.ads force llvm-cbindings.o $(GNATMAKE) -o $@ -aI$(ortho_srcdir)/llvm -aI$(ortho_srcdir) \ - $(GNAT_FLAGS) ortho_code_main -bargs -E \ + $(GNATFLAGS) ortho_code_main -bargs -E \ -largs llvm-cbindings.o --LINK=$(CXX) \ $(LDFLAGS) `$(LLVM_CONFIG) --ldflags --libs --system-libs` -- cgit v1.2.3