let require_env logs w =
    let env = w.po_env in
    once env
      (fun () ->
         let denv = Wp_parameters.get_output () in
         let file = file_for_env env L_coq in
         (* not added ! -> incremental compilation *)
         let args =  [| "-noglob""-I" ; denv ; file |] in
         let stdout = Buffer.create 512 in
         let timeout =  Wp_parameters.Timeout.get() in
         Logs.command logs "coqc" args ;
         Task.command ~timeout ~stdout "coqc" args
         >>? Logs.output logs stdout
         >>= result_compile file)