blob: cd198ee7ba7c8f032d5d5decbcff8e2999dad742 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
TREE?=HEAD
DEBPKGVER?=1
VAGRANTBOX?=debian/wheezy64
.PHONY: package clean
package:
VAGRANTBOX=$(VAGRANTBOX) vagrant up
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:
vagrant destroy
|
