From a11c8cf33577f14c3043d26e384ca2e8a6b5753f Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 12 Jul 2023 13:59:11 +0100
Subject: [PATCH] Disable ocaml-atd, ocaml-camlp5, coq, swig

See comments for why.
---
 Goalfile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/Goalfile b/Goalfile
index aeb1a74..ea13f69 100644
--- a/Goalfile
+++ b/Goalfile
@@ -28,7 +28,8 @@ let fedora-ignored = [
 let packages = [
     "ocaml-alcotest",
     "ocaml-astring",
-    "ocaml-atd",
+    # Temporarily disable because python3 flake8 is not installable
+    #"ocaml-atd",
     "ocaml-augeas",
     "ocaml-autoconf",
     "ocaml-base",
@@ -45,7 +46,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",
@@ -189,7 +191,8 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
-    "coq",
+    # Fails to build, I asked jjames.
+    #"coq",
     "flocq",
     "frama-c",
     "gappalib-coq",
@@ -203,7 +206,8 @@ let packages = [
     "plplot",
     "prooftree",
     "supermin",
-    "swig",
+    # Tests fail for unclear reasons.
+    #"swig",
     "utop",
     "virt-top",
     "virt-v2v",
-- 
1.8.3.1