From 4f581fe2b105db06082e266d604b1363f0dbf478 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 1 Aug 2014 18:07:48 +0100 Subject: [PATCH] Re-enable cduce builds. --- fedora_ocaml_rebuild.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 717572e..38c4cc0 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -29,7 +29,6 @@ let blocked = [ "ocaml-pa-do"; (* build failure, complex *) "ocaml-lwt"; (* build failure on 4.02.0 *) "ocaml-preludeml"; (* build failure *) - "cduce"; (* camlp4-related failure, discussed upstream *) "frama-c"; (* build failure *) ] let blocked pkg = List.mem pkg blocked -- 1.8.3.1