let coqc log w script =
goal w script >>=
fun fgoal ->
let denv = Wp_parameters.get_output() in
let timeout = Wp_parameters.Timeout.get() in
let stdout = Buffer.create 512 in
let args = [| "-noglob";"-I" ; denv ; fgoal |] in
Log.command log "coqc" args ;
Task.command ~timeout ~stdout "coqc" args
>>? Log.output log stdout