diff options
| -rw-r--r-- | Makefile.in | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 83ee2f38c..4ecb2ad7f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -372,14 +372,16 @@ all.libghdl: all.libghdl.$(enable_libghdl) install.libghdl.true: $(INSTALL_PROGRAM) -p $(libghdl_name) $(DESTDIR)$(libdir)/ - $(MKDIR) python - $(CP) -r $(srcdir)/python/libghdl python - $(MV) config.py python/libghdl/ - tar -zcvf ../libghdl-py.tgz -C python/libghdl . install.libghdl.false: install.libghdl: install.libghdl.$(enable_libghdl) +libghdl-py.tgz: + [ -d pythonb ] || $(MKDIR) pythonb + $(CP) -r $(srcdir)/python/libghdl $(srcdir)/python/setup.py pythonb + $(CP) config.py pythonb/libghdl/ + tar -zcvf $@ -C pythonb . + ################ ghdlsynth library ###################################### GHDL_SYNTHLIB_INCFLAGS=$(GHDL_COMMON_INCFLAGS) -aI$(srcdir)/src/synth -aI$(srcdir)/src/ghdldrv -aI$(srcdir)/src/vhdl/simulate |