diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-13 07:53:09 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-13 07:53:09 +0200 |
| commit | 7e91b1419cde2a00c9288c02cda256a054ed6a3f (patch) | |
| tree | 10dcb172a22c93dd74adda6e8e6e0ed1677e95fb /Makefile.in | |
| parent | 9d61a62f96dc4897dadbf88f5f4ee199d20e0f8f (diff) | |
| download | ghdl-7e91b1419cde2a00c9288c02cda256a054ed6a3f.tar.gz ghdl-7e91b1419cde2a00c9288c02cda256a054ed6a3f.tar.bz2 ghdl-7e91b1419cde2a00c9288c02cda256a054ed6a3f.zip | |
libghdl: also add synthesis part. For #884
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
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) |