let require_env log 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
let args = [| "-noglob"; "-I" ; denv ; file |] in
let stdout = Buffer.create 512 in
let timeout = Wp_parameters.Timeout.get() in
Log.command log "coqc" args ;
Task.command ~timeout ~stdout "coqc" args
>>? Log.output log stdout
>>= result_compile file)