Goalfile

   1 # See README.
   2
   3 include "fedora.gl"
   4
   5 let fedora-dir = "%HOME/d/fedora"
   6
   7 let fedora-branch = "rawhide"
   8 #let fedora-branch = "f34"
   9 let fedora-tag = "f39-build-side-69760"
  10
  11 # The magic string that must appear in %changelog when the
  12 # package has been rebuilt.
  13 let fedora-rebuild-name = "OCaml 5.0 rebuild for Fedora 39"
  14
  15 # %fedora-retry-failed:
  16 # If set to 1 then failed builds are retried automatically.
  17 # If set to 0 then failed builds must be manually restarted.
  18 # Normally you want this to be 0.
  19 let fedora-retry-failed = "1"
  20
  21 # Packages that are ignored, which means they are treated as if
  22 # they have been rebuilt.
  23 let fedora-ignored = [
  24     "ocaml-srpm-macros", "ocaml",
  25 ]
  26
  27 # All OCaml-related source package names
  28 let packages = [
  29     "ocaml-alcotest",
  30     "ocaml-astring",
  31     # Temporarily disable because python3 flake8 is not installable
  32     #"ocaml-atd",
  33     "ocaml-augeas",
  34     "ocaml-autoconf",
  35     "ocaml-base",
  36     "ocaml-base64",
  37     "ocaml-benchmark",
  38     "ocaml-bigarray-compat",
  39     "ocaml-biniou",
  40     "ocaml-bin-prot",
  41     "ocaml-bisect-ppx",
  42     "ocaml-bos",
  43     "ocaml-cairo",
  44     "ocaml-calendar",
  45     "ocaml-camlbz2",
  46     "ocaml-camlidl",
  47     "ocaml-camlimages",
  48     "ocaml-camlp-streams",
  49     # Waiting on two dependencies to be reviewed
  50     #"ocaml-camlp5",
  51     "ocaml-camomile",
  52     "ocaml-cinaps",
  53     "ocaml-cmdliner",
  54     "ocaml-compiler-libs-janestreet",
  55     "ocaml-cppo",
  56     "ocaml-cryptokit",
  57     "ocaml-csexp",
  58     "ocaml-csv",
  59     "ocaml-ctypes",
  60     "ocaml-cudf",
  61     "ocaml-curl",
  62     "ocaml-curses",
  63     "ocaml-dbus",
  64     "ocaml-dose3",
  65     "ocaml-dune",
  66     "ocaml-easy-format",
  67     "ocaml-expat",
  68     "ocaml-extlib",
  69     "ocaml-facile",
  70     "ocaml-fieldslib",
  71     "ocaml-fileutils",
  72     "ocaml-findlib",
  73     "ocaml-fmt",
  74     "ocaml-fpath",
  75     "ocaml-gen",
  76     "ocaml-gettext",
  77     "ocaml-graphics",
  78     "ocaml-gsl",
  79     "ocamlify",
  80     "ocaml-integers",
  81     "ocaml-jane-street-headers",
  82     "ocaml-jst-config",
  83     "ocaml-lablgl",
  84     "ocaml-lablgtk",
  85     "ocaml-lablgtk3",
  86     "ocaml-labltk",
  87     "ocaml-lacaml",
  88     "ocaml-lambda-term",
  89     "ocaml-libvirt",
  90     "ocaml-logs",
  91     "ocaml-luv",
  92     "ocaml-lwt",
  93     "ocaml-markup",
  94     "ocaml-mccs",
  95     "ocaml-mdx",
  96     "ocaml-menhir",
  97     "ocaml-merlin",
  98     "ocaml-mew",
  99     "ocaml-mew-vi",
 100     "ocaml-mlgmpidl",
 101     "ocaml-mlmpfr",
 102     "ocaml-mtime",
 103     "ocamlmod",
 104     "ocaml-mysql",
 105     "ocaml-newt",
 106     "ocaml-num",
 107     "ocaml-obuild",
 108     "ocaml-ocamlbuild",
 109     "ocaml-ocamlgraph",
 110     "ocaml-ocamlnet",
 111     "ocaml-ocp-indent",
 112     "ocaml-ocplib-endian",
 113     "ocaml-ocplib-simplex",
 114     "ocaml-octavius",
 115     "ocaml-odoc",
 116     "ocaml-odoc-parser",
 117     "ocaml-omake",
 118     "ocaml-opam-file-format",
 119     "ocaml-ounit",
 120     "ocaml-parmap",
 121     "ocaml-parsexp",
 122     "ocaml-pcre",
 123     "ocaml-perl4caml",
 124     "ocaml-postgresql",
 125     "ocaml-pp",
 126     "ocaml-ppx-assert",
 127     "ocaml-ppx-base",
 128     "ocaml-ppx-cold",
 129     "ocaml-ppx-compare",
 130     "ocaml-ppx-custom-printf",
 131     "ocaml-ppx-derivers",
 132     "ocaml-ppx-deriving",
 133     "ocaml-ppx-deriving-yaml",
 134     "ocaml-ppx-deriving-yojson",
 135     "ocaml-ppx-enumerate",
 136     "ocaml-ppx-expect",
 137     "ocaml-ppx-fields-conv",
 138     "ocaml-ppx-globalize",
 139     "ocaml-ppx-hash",
 140     "ocaml-ppx-here",
 141     "ocaml-ppx-import",
 142     "ocaml-ppx-inline-test",
 143     "ocaml-ppx-js-style",
 144     "ocaml-ppx-let",
 145     "ocaml-ppxlib",
 146     "ocaml-ppx-optcomp",
 147     "ocaml-ppx-sexp-conv",
 148     "ocaml-ppx-stable-witness",
 149     "ocaml-ppx-variants-conv",
 150     "ocaml-psmt2-frontend",
 151     "ocaml-ptmap",
 152     "ocaml-pyml",
 153     "ocaml-qcheck",
 154     "ocaml-qtest",
 155     "ocaml-re",
 156     "ocaml-react",
 157     "ocaml-res",
 158     "ocaml-result",
 159     "ocaml-rresult",
 160     "ocaml-SDL",
 161     "ocaml-sedlex",
 162     "ocaml-sexplib",
 163     "ocaml-sexplib0",
 164     "ocaml-sha",
 165     "ocaml-sqlite",
 166     "ocaml-ssl",
 167     "ocaml-stdcompat",
 168     "ocaml-stdio",
 169     "ocaml-time-now",
 170     "ocaml-topkg",
 171     "ocaml-trie",
 172     "ocaml-tyxml",
 173     "ocaml-uucd",
 174     "ocaml-uucp",
 175     "ocaml-uunf",
 176     "ocaml-uuseg",
 177     "ocaml-uutf",
 178     "ocaml-variantslib",
 179     "ocaml-version",
 180     "ocaml-xml-light",
 181     "ocaml-xmlm",
 182     "ocaml-xmlrpc-light",
 183     "ocaml-yaml",
 184     "ocaml-yojson",
 185     "ocaml-zarith",
 186     "ocaml-zed",
 187     "ocaml-zip",
 188     "ocaml-zmq",
 189
 190     "alt-ergo",
 191     "apron",
 192     "brltty",
 193     "coccinelle",
 194     # Fails to build, I asked jjames.
 195     #"coq",
 196     "flocq",
 197     "frama-c",
 198     "gappalib-coq",
 199     "graphviz",
 200     "haxe",
 201     "hevea",
 202     "hivex",
 203     "libguestfs",
 204     "libnbd",
 205     "opam",
 206     "plplot",
 207     "prooftree",
 208     "supermin",
 209     # Tests fail for unclear reasons.
 210     #"swig",
 211     "utop",
 212     "virt-top",
 213     "virt-v2v",
 214     "why3",
 215     "z3",
 216     "zenon",
 217
 218     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
 219     # to fix this in goals itself, but in the meantime disable nbdkit
 220     # and build it by hand.
 221     #"nbdkit",
 222 ]
 223
 224 # Get the list of source packages.
 225 pure function get-source-packages () returning strings = {
 226     cd %fedora-dir
 227     for pkg in %packages; do
 228         spec=$pkg/%fedora-branch/$pkg.spec
 229         if [ -f $spec ]; then
 230             # Check that the spec file excludes i686.
 231             # Only implement this check for ocaml-* packages, as the
 232             # other packages are more complicated.
 233             if [[ "$spec" =~ ^ocaml ]] &&
 234                ! rpmspec -P $spec | grep -sq 'ExcludeArch:.*i386' ; then
 235                 echo "ERROR: $pkg does not ExcludeArch: %%{ix86}" >&2
 236                 exit 1
 237             fi
 238             # OK to rebuild this package.
 239             echo "$pkg"
 240         elif [ -f $pkg/%fedora-branch/dead.package ]; then
 241             echo "WARNING: $pkg: is a dead package, ignored" >&2
 242         else
 243             echo "$pkg: package is not checked out locally" >&2
 244             exit 1
 245         fi
 246     done
 247 }
 248 let fedora-source-packages = get-source-packages ()
 249
 250 # Main goal: Rebuild all packages in Koji.
 251 goal all = : wrap ("is-koji-built", fedora-source-packages)