2016-01-07 10:54:19 -08:00
|
|
|
TREE?=HEAD
|
2016-01-07 11:24:51 -08:00
|
|
|
DEBPKGVER?=1
|
2015-11-15 12:46:39 -08:00
|
|
|
VAGRANTBOX?=debian/wheezy64
|
2015-10-24 22:52:41 -07:00
|
|
|
|
2015-10-24 22:58:59 -07:00
|
|
|
.PHONY: package clean
|
2015-10-24 22:52:41 -07:00
|
|
|
|
|
|
|
package:
|
2015-11-12 17:26:04 -08:00
|
|
|
VAGRANTBOX=$(VAGRANTBOX) vagrant up
|
2016-01-07 13:43:57 -08:00
|
|
|
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/'
|
2015-10-24 22:52:41 -07:00
|
|
|
vagrant halt
|
2015-10-24 22:58:59 -07:00
|
|
|
|
|
|
|
clean:
|
|
|
|
vagrant destroy
|
2016-06-04 08:02:03 -07:00
|
|
|
-rm pandoc pandoc-citeproc
|