From 7e91b1419cde2a00c9288c02cda256a054ed6a3f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 13 Aug 2019 07:53:09 +0200 Subject: libghdl: also add synthesis part. For #884 --- Makefile.in | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index 0e7bf20c2..70a3a9863 100644 --- a/Makefile.in +++ b/Makefile.in @@ -380,20 +380,22 @@ uninstall.simul: uninstall.simul.program uninstall.vhdllib ################ libghdl (library for the vhdl part) #################### -LIBGHDL_INCFLAGS=$(GHDL_COMMON_INCFLAGS) -aI$(srcdir)/src/vhdl/libghdl -aI$(srcdir)/src/ghdldrv +LIBGHDL_INCFLAGS=$(GHDL_COMMON_INCFLAGS) -aI$(srcdir)/src/synth -aI$(srcdir)/src/vhdl/libghdl -aI$(srcdir)/src/ghdldrv libghdl_name=libghdl-$(libghdl_version)$(SOEXT) $(libghdl_name): $(GRT_SRC_DEPS) version.ads force - $(GNATMAKE) -I- -aI. -D pic -z libghdl -o $@ $(GNATFLAGS) $(PIC_FLAGS) $(LIBGHDL_INCFLAGS) -bargs -shared -Llibghdl_ -largs -shared $(SHLIB_FLAGS) + $(GNATMAKE) -I- -aI. -D pic -z libghdl -o $@ -gnat12 $(GNATFLAGS) $(PIC_FLAGS) $(LIBGHDL_INCFLAGS) -bargs -shared -Llibghdl_ -largs -shared $(SHLIB_FLAGS) all.libghdl.true: $(libghdl_name) all.libghdl.false: all.libghdl: all.libghdl.$(enable_libghdl) -install.libghdl.true: +install.libghdl.lib: $(INSTALL_PROGRAM) -p $(libghdl_name) $(DESTDIR)$(libdir)/ +install.libghdl.true: install.libghdl.lib + install.libghdl.false: install.libghdl: install.libghdl.$(enable_libghdl) -- cgit v1.2.3