From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 12 Dec 2023 15:16:24 +0000 (+0000)
Subject: Temporarily disable swig while building it by hand
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=b1607d02dda67d01287f306adb2de4e4638c9d09;p=fedora-ocaml-rebuild.git

Temporarily disable swig while building it by hand
---

diff --git a/Goalfile b/Goalfile
index 8af1812..c64817a 100644
--- a/Goalfile
+++ b/Goalfile
@@ -211,7 +211,8 @@ let packages = [
     "plplot",
     "prooftree",
     "supermin",
-    "swig",
+    # Temporarily disable as I am doing the build by hand.
+    #"swig",
     "utop",
     "virt-top",
     "virt-v2v",