let coqc echo log w script =
    goal w script >>=
      fun f ->
        let dir = Wp_parameters.get_output() in  
        let s = Config.datadir in 
        let framac_dir = Format.sprintf "%s/wp" s in 
        let timeout = Wp_parameters.Timeout.get() in
        let stdout = Buffer.create 512 in
        let args = [|  "-noglob";"-I" ; dir ; "-I" ; framac_dir ; f |] in
        Log.command log "coqc" args ;
        Task.command ~timeout ~stdout "coqc" args
        >>? Log.output ~echo log stdout