Skip to content

Commit

Permalink
distribute configure, aclocal.m4
Browse files Browse the repository at this point in the history
  • Loading branch information
mezzarobba committed Oct 11, 2023
1 parent d76d46f commit 8dfface
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions Makefile.in
Original file line number Diff line number Diff line change
Expand Up @@ -787,9 +787,14 @@ endif
# maintainer stuff
################################################################################

dist:
git archive --format tar --prefix flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH)/ origin/flint-$(FLINT_MAJOR).$(FLINT_MINOR) > ../flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH).tar; gzip ../flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH).tar
git archive --format zip --prefix flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH)/ origin/flint-$(FLINT_MAJOR).$(FLINT_MINOR) > ../flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH).zip
configure aclocal.m4 src/config.h.in &: bootstrap.sh configure.ac acinclude.m4
./$<

DIST_PREFIX := flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH)/

dist: configure aclocal.m4 src/config.h.in
git archive --format tar.gz --prefix ${DIST_PREFIX}src/ $(patsubst %,--add-file %,$(filter src/%,$^)) --prefix ${DIST_PREFIX} $(patsubst %,--add-file %,$(filter-out src/%,$^)) origin/flint-$(FLINT_MAJOR).$(FLINT_MINOR) > ../flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH).tar.gz
git archive --format zip --prefix ${DIST_PREFIX}src/ $(patsubst %,--add-file %,$(filter src/%,$^)) --prefix ${DIST_PREFIX} $(patsubst %,--add-file %,$(filter-out src/%,$^)) origin/flint-$(FLINT_MAJOR).$(FLINT_MINOR) > ../flint-$(FLINT_MAJOR).$(FLINT_MINOR).$(FLINT_PATCH).zip

################################################################################
# debugging
Expand Down

0 comments on commit 8dfface

Please sign in to comment.