Begin rebuild of OCaml 5.1
[fedora-ocaml-rebuild.git] / 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     "ocaml-atd",
32     "ocaml-augeas",
33     "ocaml-autoconf",
34     "ocaml-base",
35     "ocaml-base64",
36     "ocaml-benchmark",
37     "ocaml-bigarray-compat",
38     "ocaml-biniou",
39     "ocaml-bin-prot",
40     "ocaml-bisect-ppx",
41     "ocaml-bos",
42     "ocaml-cairo",
43     "ocaml-calendar",
44     "ocaml-camlbz2",
45     "ocaml-camlidl",
46     "ocaml-camlimages",
47     "ocaml-camlp-streams",
48     "ocaml-camlp5",
49     "ocaml-camomile",
50     "ocaml-cinaps",
51     "ocaml-cmdliner",
52     "ocaml-compiler-libs-janestreet",
53     "ocaml-cppo",
54     "ocaml-cryptokit",
55     "ocaml-csexp",
56     "ocaml-csv",
57     "ocaml-ctypes",
58     "ocaml-cudf",
59     "ocaml-curl",
60     "ocaml-curses",
61     "ocaml-dbus",
62     "ocaml-dose3",
63     "ocaml-dune",
64     "ocaml-easy-format",
65     "ocaml-expat",
66     "ocaml-extlib",
67     "ocaml-facile",
68     "ocaml-fieldslib",
69     "ocaml-fileutils",
70     "ocaml-findlib",
71     "ocaml-fmt",
72     "ocaml-fpath",
73     "ocaml-gen",
74     "ocaml-gettext",
75     "ocaml-graphics",
76     "ocaml-gsl",
77     "ocamlify",
78     "ocaml-integers",
79     "ocaml-jane-street-headers",
80     "ocaml-jst-config",
81     "ocaml-lablgl",
82     "ocaml-lablgtk",
83     "ocaml-lablgtk3",
84     "ocaml-labltk",
85     "ocaml-lacaml",
86     "ocaml-lambda-term",
87     "ocaml-libvirt",
88     "ocaml-logs",
89     "ocaml-luv",
90     "ocaml-lwt",
91     "ocaml-markup",
92     "ocaml-mccs",
93     "ocaml-mdx",
94     "ocaml-menhir",
95     "ocaml-merlin",
96     "ocaml-mew",
97     "ocaml-mew-vi",
98     "ocaml-mlgmpidl",
99     "ocaml-mlmpfr",
100     "ocaml-mtime",
101     "ocamlmod",
102     "ocaml-mysql",
103     "ocaml-newt",
104     "ocaml-num",
105     "ocaml-obuild",
106     "ocaml-ocamlbuild",
107     "ocaml-ocamlgraph",
108     "ocaml-ocamlnet",
109     "ocaml-ocp-indent",
110     "ocaml-ocplib-endian",
111     "ocaml-ocplib-simplex",
112     "ocaml-octavius",
113     "ocaml-odoc",
114     # To be retired after 5.1, now merged into ocaml-odoc
115     #"ocaml-odoc-parser",
116     "ocaml-omake",
117     "ocaml-opam-file-format",
118     "ocaml-ounit",
119     "ocaml-parmap",
120     "ocaml-parsexp",
121     "ocaml-pcre",
122     "ocaml-pcre2",
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     "coq",
195     "emacs-common-tuareg",
196     "flocq",
197     "frama-c",
198     "gappalib-coq",
199     "guestfs-tools",
200     "graphviz",
201     "haxe",
202     "hevea",
203     "hivex",
204     "libguestfs",
205     "libnbd",
206     "opam",
207     "planets",
208     "plplot",
209     "prooftree",
210     "supermin",
211     "swig",
212     "utop",
213     "virt-top",
214     "virt-v2v",
215     "why3",
216     "z3",
217     "zenon",
218
219     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
220     # to fix this in goals itself, but in the meantime disable nbdkit
221     # and build it by hand.
222     #"nbdkit",
223 ]
224
225 # Get the list of source packages.
226 pure function get-source-packages () returning strings = {
227     cd %fedora-dir
228     for pkg in %packages; do
229         spec=$pkg/%fedora-branch/$pkg.spec
230         if [ -f $spec ]; then
231             # Check that the spec file excludes i686.
232             # Only implement this check for ocaml-* packages, as the
233             # other packages are more complicated.
234             if [[ "$spec" =~ ^ocaml ]] &&
235                ! rpmspec -P $spec | grep -sq 'ExcludeArch:.*i386' ; then
236                 echo "ERROR: $pkg does not ExcludeArch: %%{ix86}" >&2
237                 exit 1
238             fi
239             # OK to rebuild this package.
240             echo "$pkg"
241         elif [ -f $pkg/%fedora-branch/dead.package ]; then
242             echo "WARNING: $pkg: is a dead package, ignored" >&2
243         else
244             echo "$pkg: package is not checked out locally" >&2
245             exit 1
246         fi
247     done
248 }
249 let fedora-source-packages = get-source-packages ()
250
251 # Main goal: Rebuild all packages in Koji.
252 goal all = : wrap ("is-koji-built", fedora-source-packages)