From c36fbb4f855aab0d0a2f919aa3fe6158ca050bd6 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 6 Aug 2014 08:58:30 +0100 Subject: [PATCH] OCaml: Add flocq to build script (requested by Jerry James). --- 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 e25bf30..977d5c3 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -50,7 +50,8 @@ let source_packages = let dirs = shlines "cd %s && ls -1d ocaml*" fedora_dir in dirs @ [ "alt-ergo"; "apron"; "brltty"; "coccinelle"; "coq"; "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex"; - "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen" ] + "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen"; + "flocq" (* no OCaml code, but needs to be rebuilt after Coq *) ] (* Dependencies of each package. (pkg, [deps ...]) *) let pkg_deps = dependencies branch source_packages -- 1.8.3.1