diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 461ec0a58..f223b0600 100644 --- a/Makefile.in +++ b/Makefile.in @@ -271,7 +271,8 @@ GHDL_SIMUL_INCFLAGS=$(GHDL_COMMON_INCFLAGS) -aI$(srcdir)/src/ghdldrv -aI$(srcdir ghdl_simul$(EXEEXT): $(GRT_ADD_OBJS) $(GRT_SRC_DEPS) version.ads force $(GNATMAKE) $(GHDL_SIMUL_INCFLAGS) $(GNATFLAGS) ghdl_simul $(GNAT_BARGS) -largs $(GNAT_LARGS) $(GRT_ADD_OBJS) $(subst @,$(GRTSRCDIR),$(GRT_EXTRA_LIB)) -libs.vhdl.simul: ghdl_simul$(EXEEXT) vhdl.libs.all +libs.vhdl.simul: ghdl_simul$(EXEEXT) + $(MAKE) GHDL=$(PWD)/ghdl_simul$(EXEEXT) vhdl.libs.all ################ mhdlsim (library for the vhdl part) #################### |