From 503a29e00249dccb7c862586e6990d9145b27a9d Mon Sep 17 00:00:00 2001
From: "gregoire.detrez" <gregoire.detrez@gu.se>
Date: Wed, 15 Oct 2014 08:51:25 +0000
Subject: [PATCH] Add a make target to create the source distribution

`make sdist` will create a `dist/gf-<version>.tar.gz package
with the source files (using the `darcs dist` command).
---
 Makefile | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bb7c3fde3..be3ad00f0 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,7 @@
-.PHONY: all build install doc clean gf # sdist
+.PHONY: all build install doc clean gf sdist
+
+# This gets the numeric part of the version from the cabal file
+VERSION=$(shell sed -ne "s/^version: *\([0-9.]*\).*/\1/p" gf.cabal)
 
 all: build
 
@@ -41,3 +44,10 @@ pkg:
 # Make a binary tar distribution
 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:
+	test -d dist || mkdir dist
+	darcs dist -d dist/gf-${VERSION}