From 646ef17e557de57c7a8c80ad0bff04b32eb9113e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 7 Jan 2016 11:24:51 -0800
Subject: deb pkg generation improvements.

Allow setting DEBPKGVER.
Bump to stack lts-4.0.
Make output verbose.
---
 deb/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'deb/Makefile')

diff --git a/deb/Makefile b/deb/Makefile
index c947d5d75..cd198ee7b 100644
--- a/deb/Makefile
+++ b/deb/Makefile
@@ -1,11 +1,12 @@
 TREE?=HEAD
+DEBPKGVER?=1
 VAGRANTBOX?=debian/wheezy64
 
 .PHONY: package clean
 
 package:
 	VAGRANTBOX=$(VAGRANTBOX) vagrant up
-	vagrant ssh -c 'rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(TREE) && git submodule update --init && ./make_deb.sh && cp *.deb /vagrant_data/'
+	vagrant ssh -c 'DEBPKGVER=$(DEBPKGVER) rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(TREE) && git submodule update --init && sh -v ./deb/make_deb.sh && cp *.deb /vagrant_data/'
 	vagrant halt
 
 clean:
-- 
cgit v1.2.3