make devel command, activating most flags, for developpers (see #27)

This commit is contained in:
Simon Cruanes 2015-01-21 09:37:05 +01:00
parent 4273ff5ca9
commit 0ecec5c151

View file

@ -125,7 +125,9 @@ update_next_tag:
zsh -c 'sed -i "s/NEXT_VERSION/$(VERSION)/g" **/*.ml **/*.mli'
zsh -c 'sed -i "s/NEXT_RELEASE/$(VERSION)/g" **/*.ml **/*.mli'
udpate_sequence:
git subtree pull --prefix sequence sequence stable --squash
devel:
./configure --enable-bench --enable-tests --enable-misc \
--enable-bigarray --enable-thread --enable-advanced
make all
.PHONY: examples push_doc tags qtest-gen qtest-clean update_sequence update_next_tag
.PHONY: examples push_doc tags qtest-gen qtest-clean devel update_next_tag