aboutsummaryrefslogtreecommitdiff
path: root/deb/Makefile
blob: 18f7d44252e35ac11728a96bb60cabef314e1fc8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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 && DEBPKGVER=$(DEBPKGVER) sh -ev ./deb/make_deb.sh && cp *.deb /vagrant_data/'
	vagrant halt

clean:
	vagrant destroy
	-rm pandoc pandoc-citeproc