diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2017-02-10 21:36:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-10 21:36:44 +0100 |
| commit | e1c4ff6c85be72c1a3059b834a84fdaeca2d3593 (patch) | |
| tree | e85f05ea6f1c5a199f5ab24e621d74dced6a3dd9 | |
| parent | 64b5191776b69bab0ca6ec87ca99fdb7e3ec8c12 (diff) | |
| parent | cf998996175f0828029958d08d481355dcbf12cb (diff) | |
| download | ghdl-e1c4ff6c85be72c1a3059b834a84fdaeca2d3593.tar.gz ghdl-e1c4ff6c85be72c1a3059b834a84fdaeca2d3593.tar.bz2 ghdl-e1c4ff6c85be72c1a3059b834a84fdaeca2d3593.zip | |
Merge pull request #275 from Obijuan/master
target install.libghdlsynth added
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 06d8d86b6..ddedf33c4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -312,6 +312,8 @@ libghdlsynth.a: $(GRT_ADD_OBJS) $(GRT_SRC_DEPS) version.ads force libghdlsynth$(SOEXT): $(GRT_ADD_SHOBJS) $(GRT_SRC_DEPS) version.ads force $(GNATMAKE) -I- -aI. -D pic -z libghdlsynth -o $@ $(GNATFLAGS) $(PIC_FLAGS) -gnat12 $(GHDL_SYNTHLIB_INCFLAGS) -bargs -shared -Llibghdlsynth_ -largs -shared $(GRT_ADD_SHOBJS) $(SHLIB_FLAGS) +install.libghdlsynth: install.libghdlsynth.include install.libghdlsynth.static install.libghdlsynth.shared + install.libghdlsynth.include: install.dirs $(INSTALL_DATA) -p $(srcdir)/src/synth/ghdlsynth.h $(DESTDIR)$(incdir)/ $(INSTALL_DATA) -p $(srcdir)/src/synth/ghdlsynth_gates.h $(DESTDIR)$(incdir)/ |