depends minisat &&
optional_depends JAVA \
		 '-DWITH_JBMC=on' \
		 '-DWITH_JBMC=off' \
		 'to build JBMC (Bounded Model Checker for Java)'
