summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 14:28:25 +0200
committerJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 14:28:25 +0200
commitaf82dc9fc6c1547ab899df7ba211606ad12dbbad (patch)
tree646f2a6563d7a8e31a6afc7a68f3d3c09d0fee16 /Makefile
parenta6b1db71cd5b4e7744108e8f841fccab285939f2 (diff)
Fix `make sdist` to use `git archive` instead of `darcs dist`
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile13
1 files changed, 6 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 6fa4f21c1..78febb495 100644
--- a/Makefile
+++ b/Makefile
@@ -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