tags 569260 + patch
thanks
Cyril Brulebois a écrit :
> your package FTBFS on all archs for +b1 (Recompile with OCaml 3.11.2)
> this way:
> | ocamlc.opt -I ptests -dtypes -vmthread -g -o bin/ptests.byte \
> | unix.cma threads.cma str.cma dynlink.cma
> ptests/ptests_config.ml ptests/ptests.ml
> | File "ptests/ptests.ml", line 57, characters 6-15:
> | Error: This expression has type
> | ?temp_dir:string -> string -> string -> string
> | but an expression was expected of type string -> string -> string
> | make[2]: *** [bin/ptests.byte] Error 2
>
> Full build logs:
> https://buildd.debian.org/status/package.php?suite=unstable&p=frama-c
Oh, right. I forgot to report that and remove frama-c from the binNMUs.
There is a trivial fix. I'll let Mehdi handle this.
Cheers,
--
Stéphane
--- frama-c-20090902+beryllium+dfsg.orig/ptests/ptests.ml
+++ frama-c-20090902+beryllium+dfsg/ptests/ptests.ml
@@ -54,7 +54,7 @@
fun a b -> let r = temp_file a b in
cygpath r
else
- temp_file
+ (fun x y -> temp_file x y)
end
let default_env var value =
