diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-07-04 14:28:25 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-07-04 14:28:25 +0200 |
| commit | af82dc9fc6c1547ab899df7ba211606ad12dbbad (patch) | |
| tree | 646f2a6563d7a8e31a6afc7a68f3d3c09d0fee16 /Makefile | |
| parent | a6b1db71cd5b4e7744108e8f841fccab285939f2 (diff) | |
Fix `make sdist` to use `git archive` instead of `darcs dist`
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -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 |
