From de5d31199f57f878baef0234cdd144ad3c8d5c13 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 1 Aug 2014 16:05:14 +0100 Subject: [PATCH] frama-c also fails to build. --- fedora_ocaml_rebuild.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index b2beaf2..43ab4e9 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -31,7 +31,8 @@ let blocked = [ "ocaml-pa-do"; (* build failure, complex *) "ocaml-lwt"; (* build failure on 4.02.0 *) "ocaml-preludeml"; (* build failure *) - "cduce"; (* complex build failure *) + "cduce"; (* camlp4-related failure, discussed upstream *) + "frama-c"; (* build failure *) ] let blocked pkg = List.mem pkg blocked -- 1.8.3.1