Fix make sdist to use git archive instead of darcs dist

This commit is contained in:
John J. Camilleri
2018-07-04 14:28:25 +02:00
parent a6b1db71cd
commit af82dc9fc6

View File

@@ -21,9 +21,6 @@ doc:
clean:
cabal clean
#sdist:
# cabal sdist
gf:
cabal build rgl-none
strip dist/build/gf/gf
@@ -45,9 +42,11 @@ pkg:
bintar:
bash bin/build-binary-dist.sh
# Make a source tar.gz distribution using darcs to make sure that everything
# is included. We put the distribution in dist/ so it is removed on
# `make clean`
#sdist:
# cabal sdist
# Make a source tar.gz distribution using git to make sure that everything is included.
# We put the distribution in dist/ so it is removed on `make clean`
sdist:
test -d dist || mkdir dist
darcs dist -d dist/gf-${VERSION}
git archive --format=tar.gz --output=dist/gf-${VERSION}.tar.gz HEAD