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 | |
| parent | 4dd3ef8473d4b88c6249de225f2637570ce99f3f (diff) | |
| download | ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.gz ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.bz2 ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.zip | |
Makefile.in: pass ADA_FLAGS to GRT
| -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) |