diff options
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 defbb72a3..3426d81b5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -229,6 +229,7 @@ ghdl1-llvm: force oread-llvm: force $(MAKE) -f $(srcdir)/src/ortho/llvm/Makefile \ ortho_srcdir=$(srcdir)/src/ortho ortho_exec=$@ \ + GNATMAKE="$(GNATMAKE)" \ GNAT_FLAGS="-aI$(srcdir)/src/ortho/oread $(GNATFLAGS)" \ LLVM_CONFIG="$(LLVM_CONFIG)" |