[Why3-club] Why3 Feature request: alternative to -L for many directories

Johannes Kanig kanig at adacore.com
Mon Apr 4 16:42:18 CEST 2011


On 04/04/2011 04:33 PM, Jean-Christophe Filliatre wrote:
> Why3 already provides you with these two solutions:

Perfect. I definitely should have thought about the loadpath option,
sorry for the noise. I could not find the WHY3LOADPATH variable in the
manual, maybe this deserves an entry?

-- 
Johannes Kanig <kanig at adacore.com>



More information about the Why3-club mailing list