update makefile (target devel)

This commit is contained in:
Simon Cruanes 2015-08-11 20:34:23 +02:00
parent 99fb2f84db
commit aa28542959

View file

@ -143,7 +143,7 @@ update_next_tag:
zsh -c 'sed -i "s/NEXT_RELEASE/$(VERSION)/g" **/*.ml **/*.mli'
devel:
./configure --enable-bench --enable-tests --enable-misc \
./configure --enable-bench --enable-tests --enable-misc --enable-unix \
--enable-bigarray --enable-thread --enable-advanced
make all