mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
* Makefile.in (dist-dir): New target for new dist system.
(manifest): Deleted. * PLUGIN/this.configure (aux_files): Removed PLUGIN; it's a directory, and needs special treatment in the dist-dir target.
This commit is contained in:
parent
2d26def019
commit
a45b373305
1 changed files with 13 additions and 6 deletions
|
@ -54,13 +54,20 @@ uninstall:
|
|||
-rmdir $(libdir)
|
||||
|
||||
|
||||
SUBDIR=.
|
||||
manifest:
|
||||
srcdir=./$(SUBDIR) ; \
|
||||
. $(SUBDIR)/PLUGIN/this.configure; \
|
||||
for file in $$scm_files $$aux_files ; \
|
||||
do echo $(SUBDIR)/$$file ; \
|
||||
# The `dist' target in the top-level Makefile uses this `dist-dir'
|
||||
# target to select the appropriate files for distribution from the
|
||||
# directory containing this Makefile.
|
||||
.PHONY: dist-dir
|
||||
dist-dir:
|
||||
mkdir ${DISTDIR}
|
||||
for f in ${scm_files} ${aux_files}; do \
|
||||
ln ${srcdir}/$$f ${DISTDIR}; \
|
||||
done
|
||||
mkdir ${DISTDIR}/PLUGIN
|
||||
for f in REQ greet split.sed this.configure; do \
|
||||
ln ${srcdir}/PLUGIN/$$f ${DISTDIR}/PLUGIN; \
|
||||
done
|
||||
|
||||
|
||||
clean:
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue