simon/iter
1
0
Fork 0
mirror of https://github.com/c-cube/iter.git synced 2025-12-06 11:15:32 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Makefile target to push into stable

Browse source
This commit is contained in:
Simon Cruanes 2014-07-07 18:19:21 +02:00
parent d5b9674124
commit 69f2fd37ab
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
Makefile
View file

@ -49,10 +49,18 @@ examples:
push_doc: all doc push_doc: all doc
scp -r sequence.docdir/* cedeela.fr:~/simon/root/software/sequence/ scp -r sequence.docdir/* cedeela.fr:~/simon/root/software/sequence/
push_stable: all
git checkout stable
git merge master -m 'merge from master'
oasis setup
git commit -a -m 'oasis files'
git push origin
git checkout master
VERSION=$(shell awk '/Version:/ {print $$2}' _oasis) VERSION=$(shell awk '/Version:/ {print $$2}' _oasis)
update_next_tag: update_next_tag:
@echo "update version to $(VERSION)..." @echo "update version to $(VERSION)..."
sed -i "s/NEXT_VERSION/$(VERSION)/g" *.ml *.mli sed -i "s/NEXT_VERSION/$(VERSION)/g" *.ml *.mli
.PHONY: benchs tests examples update_next_tag push_doc .PHONY: benchs tests examples update_next_tag push_doc push_stable