X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=964121b27d701ea40ca6962a999fbb6fdbd35931;hb=eedc74f8e10f68905779370cc936b0a11ea35282;hp=aeb1a74d9e55fe7047e3b6ae12c8ced2f24e257b;hpb=14c2539c35635d1c8092295091ddae167512b8be;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index aeb1a74..964121b 100644 --- a/Goalfile +++ b/Goalfile @@ -45,7 +45,8 @@ let packages = [ "ocaml-camlidl", "ocaml-camlimages", "ocaml-camlp-streams", - "ocaml-camlp5", + # Waiting on two dependencies to be reviewed + #"ocaml-camlp5", "ocaml-camomile", "ocaml-cinaps", "ocaml-cmdliner", @@ -193,8 +194,10 @@ let packages = [ "flocq", "frama-c", "gappalib-coq", - "graphviz", - "haxe", + # Depends on swig: + #"graphviz", + # Depends on camlp5: + #"haxe", "hevea", "hivex", "libguestfs", @@ -203,7 +206,8 @@ let packages = [ "plplot", "prooftree", "supermin", - "swig", + # Tests fail for unclear reasons. + #"swig", "utop", "virt-top", "virt-v2v",