From 55a5513c14afb209b06ea86bbb918f6e13f1e50c Mon Sep 17 00:00:00 2001 From: Xiretza Date: Sun, 9 May 2021 14:32:48 +0200 Subject: ortho: use LDFLAGS and prefer them over defaults --- src/ortho/debug/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/ortho/debug') diff --git a/src/ortho/debug/Makefile b/src/ortho/debug/Makefile index 885ff0d55..d7d297c1b 100644 --- a/src/ortho/debug/Makefile +++ b/src/ortho/debug/Makefile @@ -23,14 +23,13 @@ CC=gcc CFLAGS=-g ALL_GNAT_FLAGS=-pipe -g -gnato -gnatwaeu -gnatf -gnaty3befhkmr GNATMAKE_FLAGS=$(ALL_GNAT_FLAGS) $(GNATFLAGS) -aI$(ortho_srcdir) -aI$(orthobe_srcdir) -aI. -#LARGS=-largs -static SED=sed all: $(ortho_exec) $(ortho_exec): force $(ortho_srcdir)/$(BE)/ortho_debug.ads - $(GNATMAKE) -o $@ $(GNATMAKE_FLAGS) ortho_debug-main -bargs -E $(LARGS) + $(GNATMAKE) -o $@ $(GNATMAKE_FLAGS) ortho_debug-main -bargs -E -largs $(LDFLAGS) clean: $(RM) -f *.o *.ali *~ b~*.ad? ortho_nodes-main -- cgit v1.2.3