Skip to content

Commit

Permalink
Set make dist for release.
Browse files Browse the repository at this point in the history
  • Loading branch information
@wbhart
wbhart committed Jun 5, 2020
1 parent aac1c72 commit 1d0a2da
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -78,8 +78,8 @@ distclean: clean
rm -f flint-config.h config.log fft_tuning.h fmpz-conversions.h Makefile fmpz/fmpz.c

dist:
git archive --format tar --prefix flint-2.6.0/ origin/flint-2.6 > ../flint-2.6.0.tar; gzip ../flint-2.6.0.tar
git archive --format zip --prefix flint-2.6.0/ origin/flint-2.6 > ../flint-2.6.0.zip
git archive --format tar --prefix flint-2.6.0/ v2.6.0 > ../flint-2.6.0.tar; gzip ../flint-2.6.0.tar
git archive --format zip --prefix flint-2.6.0/ v2.6.0 > ../flint-2.6.0.zip

profile: library $(PROF_SOURCES) $(EXT_PROF_SOURCES) build/profiler.o
mkdir -p build/profile
Expand Down

0 comments on commit 1d0a2da

Please sign in to comment.