diff options
Diffstat (limited to 'translate/ghdldrv/Makefile')
| -rw-r--r-- | translate/ghdldrv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/translate/ghdldrv/Makefile b/translate/ghdldrv/Makefile index 2549362cd..41e19a439 100644 --- a/translate/ghdldrv/Makefile +++ b/translate/ghdldrv/Makefile @@ -35,6 +35,7 @@ target=i686-pc-linux-gnu GRTSRCDIR=../grt include $(GRTSRCDIR)/Makefile.inc +ghdl_mcode: GRT_FLAGS+=-DWITH_GNAT_RUN_TIME ghdl_mcode: default_pathes.ads $(GRT_ADD_OBJS) mmap_binding.o force gnatmake -aI../../ortho/mcode $(GNATFLAGS) ghdl_mcode $(GNAT_BARGS) -largs mmap_binding.o $(GNAT_LARGS) $(GRT_ADD_OBJS) $(subst @,$(GRTSRCDIR),$(GRT_EXTRA_LIB)) |