diff options
author | Xiretza <xiretza@xiretza.xyz> | 2021-05-09 16:32:36 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-05-10 07:56:17 +0200 |
commit | 22f619603e0348fba7472a4164fb31031f0f23d2 (patch) | |
tree | d6da24616b4c7e68626b6a2bbd42a16762c43cd5 /Makefile.in | |
parent | 4dd3ef8473d4b88c6249de225f2637570ce99f3f (diff) | |
download | ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.gz ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.bz2 ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.zip |
Makefile.in: pass ADA_FLAGS to GRT
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index c2c62a270..f14b9f5f0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -82,6 +82,7 @@ endif GNATFLAGS=-gnat12 -gnaty3befhkmr -gnatwa -gnatwC -gnatf $(OPT_FLAGS) $(COVERAGE_FLAGS) $(ADA_FLAGS) GRT_FLAGS=$(OPT_FLAGS) $(COVERAGE_FLAGS) +GRT_ADAFLAGS:=$(ADA_FLAGS) ifeq "$(default_pic)" "true" GRT_FLAGS+=$(PIC_FLAGS) |