generate pre_gen/mpi.c on zipup
This commit is contained in:
parent
8028ebc268
commit
7781472696
4
makefile
4
makefile
@ -118,11 +118,12 @@ pretty:
|
||||
|
||||
.PHONY: pre_gen
|
||||
pre_gen:
|
||||
mkdir -p pre_gen
|
||||
perl gen.pl
|
||||
sed -e 's/[[:blank:]]*$$//' mpi.c > pre_gen/mpi.c
|
||||
rm mpi.c
|
||||
|
||||
zipup: clean pre_gen new_file manual poster docs
|
||||
zipup: clean new_file manual poster docs
|
||||
@# Update the index, so diff-index won't fail in case the pdf has been created.
|
||||
@# As the pdf creation modifies the tex files, git sometimes detects the
|
||||
@# modified files, but misses that it's put back to its original version.
|
||||
@ -135,6 +136,7 @@ zipup: clean pre_gen new_file manual poster docs
|
||||
-@(find libtommath-$(VERSION)/ -type f | xargs grep 'FIXM[E]') && echo '############## BEWARE: the "fixme" marker was found !!! ##############' || true
|
||||
mkdir -p libtommath-$(VERSION)/doc
|
||||
cp doc/bn.pdf doc/tommath.pdf doc/poster.pdf libtommath-$(VERSION)/doc/
|
||||
$(MAKE) -C libtommath-$(VERSION)/ pre_gen
|
||||
tar -c libtommath-$(VERSION)/ | xz -6e -c - > ltm-$(VERSION).tar.xz
|
||||
zip -9rq ltm-$(VERSION).zip libtommath-$(VERSION)
|
||||
rm -rf libtommath-$(VERSION)
|
||||
|
Loading…
Reference in New Issue
Block a user