diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-07-05 09:13:04 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-07-05 09:13:04 +0200 |
| commit | ce83d8490bfd52489db49e1d6e939f61586e06a4 (patch) | |
| tree | 646f2a6563d7a8e31a6afc7a68f3d3c09d0fee16 /Makefile | |
| parent | 40cc58d6c1e85e5841427d5e5bb1f2e1c3586185 (diff) | |
| parent | af82dc9fc6c1547ab899df7ba211606ad12dbbad (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
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 |
