Richard W.M. Jones [Wed, 5 Jul 2023 08:51:47 +0000 (09:51 +0100)]
Add SWIG
SWIG can generate OCaml bindings, and so needs rebuilding with OCaml
packages. https://src.fedoraproject.org/rpms/swig
Richard W.M. Jones [Tue, 24 Jan 2023 22:28:08 +0000 (22:28 +0000)]
Add ocaml-ppx-import
New dependency of frama-c
Richard W.M. Jones [Tue, 24 Jan 2023 21:26:49 +0000 (21:26 +0000)]
Remove ocaml-stdint
Now a dead.package
Richard W.M. Jones [Tue, 24 Jan 2023 21:00:18 +0000 (21:00 +0000)]
Remove ocaml-jsonm
Fedora review for the package was abandoned in 2021.
Richard W.M. Jones [Tue, 24 Jan 2023 15:59:58 +0000 (15:59 +0000)]
Set new %fedora-retry-failed flag
Start this off as 1 because I want to retry some failed builds.
A safer default would be 0.
Richard W.M. Jones [Tue, 24 Jan 2023 13:45:24 +0000 (13:45 +0000)]
goals now supports rpmautospec / %autochangelog
Richard W.M. Jones [Tue, 24 Jan 2023 13:04:22 +0000 (13:04 +0000)]
Send error message to stderr
Updates: commit
6a0a1f4a9808a0e6dd53e80b1d118c1e90baa3ac
Richard W.M. Jones [Tue, 24 Jan 2023 11:17:58 +0000 (11:17 +0000)]
Comment out ocaml-dune because of cyclic dependency
Richard W.M. Jones [Tue, 24 Jan 2023 09:57:17 +0000 (09:57 +0000)]
Add ocaml-camlp-streams
Richard W.M. Jones [Tue, 24 Jan 2023 08:56:26 +0000 (08:56 +0000)]
Add ocaml-pp
New dependency of dune.
Richard W.M. Jones [Tue, 24 Jan 2023 08:46:26 +0000 (08:46 +0000)]
Note to remove all .depcache files on the first run of a new build
Somehow the existing files were invalid (did I change the format??)
and that broke dependency generation.
Richard W.M. Jones [Mon, 23 Jan 2023 21:43:04 +0000 (21:43 +0000)]
Rebuild all OCaml packages after Fedora 38 mass rebuild
See:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/7OT3WTW7TITCNGYLAOYHRQNLCKPUDEAV/
Richard W.M. Jones [Tue, 20 Sep 2022 10:43:55 +0000 (11:43 +0100)]
Add ocaml-atd
From Jerry:
> Also, can you check whether you have ocaml-atd on your list of OCaml
> packages to build? I think it was missed in the last mass OCaml
> build.
Richard W.M. Jones [Tue, 20 Sep 2022 10:42:55 +0000 (11:42 +0100)]
Remove ocaml-uuidm
From Jerry:
> I wanted to let you know that ocaml-uuidm has been retired in Fedora
> 37+, since ocaml-alcotest no longer uses it. I looked at its list of
> reverse dependencies and saw nothing that seems likely to appear in
> Fedora anytime soon.
Richard W.M. Jones [Sun, 19 Jun 2022 19:07:46 +0000 (20:07 +0100)]
Ignore opam, using rpmautospec
Richard W.M. Jones [Sun, 19 Jun 2022 17:28:12 +0000 (18:28 +0100)]
Ignore ocaml-dose3 because it also uses rpmautospec
Richard W.M. Jones [Sun, 19 Jun 2022 11:54:49 +0000 (12:54 +0100)]
Try enabling plplot again
Richard W.M. Jones [Sat, 18 Jun 2022 11:42:54 +0000 (12:42 +0100)]
Prepare for OCaml 4.14.0 rebuild
Richard W.M. Jones [Fri, 4 Feb 2022 22:46:57 +0000 (22:46 +0000)]
Ignore some rpmautospec packages for now
Richard W.M. Jones [Fri, 4 Feb 2022 22:46:47 +0000 (22:46 +0000)]
Add supermin
Richard W.M. Jones [Fri, 4 Feb 2022 14:19:45 +0000 (14:19 +0000)]
Disable plplot which FTBFS because of broken webkit dependency
Richard W.M. Jones [Fri, 4 Feb 2022 09:59:14 +0000 (09:59 +0000)]
Rebuild 4.13.1 to remove package notes
Richard W.M. Jones [Fri, 4 Feb 2022 09:47:36 +0000 (09:47 +0000)]
Verify that all packages disable the "package notes" misfeature
Richard W.M. Jones [Fri, 4 Feb 2022 10:20:03 +0000 (10:20 +0000)]
Remove a couple of dead packages
Richard W.M. Jones [Thu, 3 Feb 2022 08:45:33 +0000 (08:45 +0000)]
Add more packages
Richard W.M. Jones [Tue, 14 Dec 2021 08:48:32 +0000 (08:48 +0000)]
Add new packages
ocaml-logs
ocaml-mtime
ocaml-rresult
ocaml-version
Richard W.M. Jones [Tue, 5 Oct 2021 19:24:11 +0000 (20:24 +0100)]
Enable haxe again
Richard W.M. Jones [Tue, 5 Oct 2021 18:18:07 +0000 (19:18 +0100)]
Add ocaml-camlbz2
Richard W.M. Jones [Tue, 5 Oct 2021 16:50:36 +0000 (17:50 +0100)]
Add ocaml-parmap
Richard W.M. Jones [Mon, 4 Oct 2021 17:30:53 +0000 (18:30 +0100)]
Prepare for OCaml 4.13.1 build
Richard W.M. Jones [Tue, 2 Mar 2021 09:42:09 +0000 (09:42 +0000)]
Remove haxe as it FTBFS.
Richard W.M. Jones [Mon, 1 Mar 2021 18:51:42 +0000 (18:51 +0000)]
Enable ocaml-odoc again.
Richard W.M. Jones [Mon, 1 Mar 2021 12:46:25 +0000 (12:46 +0000)]
Ignore dead.package.
There's also a bug in goals near this point in the code. The next
clause does "exit 1" but that does not cause the whole goals
invocation to exit.
Richard W.M. Jones [Mon, 1 Mar 2021 12:44:33 +0000 (12:44 +0000)]
Remove ocaml-rope dead.package.
Richard W.M. Jones [Mon, 1 Mar 2021 12:42:50 +0000 (12:42 +0000)]
Remove ocaml-ppx-tools-versioned dead.package.
Richard W.M. Jones [Sun, 28 Feb 2021 23:07:08 +0000 (23:07 +0000)]
Don't rebuild ocaml-odoc because it causes a loop.
ocaml-ppxfind => dead.package
Richard W.M. Jones [Sun, 28 Feb 2021 21:48:04 +0000 (21:48 +0000)]
Fedora 35 OCaml 4.12.0 build.
Richard W.M. Jones [Sun, 28 Feb 2021 21:47:56 +0000 (21:47 +0000)]
Enable gappalib-coq again.
Richard W.M. Jones [Sun, 28 Feb 2021 21:37:33 +0000 (21:37 +0000)]
Add ocaml-bigarray-compat ocaml-csexp ocaml-ctypes ocaml-integers ocaml-luv
Richard W.M. Jones [Tue, 19 Jan 2021 16:51:28 +0000 (16:51 +0000)]
Add ocaml-graphics.
Richard W.M. Jones [Wed, 2 Sep 2020 18:37:10 +0000 (19:37 +0100)]
F33 rebuild.
Richard W.M. Jones [Tue, 1 Sep 2020 20:08:20 +0000 (21:08 +0100)]
Include separate Coq packages list in the main list.
Separated for historical reasons that make no sense now.
Richard W.M. Jones [Tue, 1 Sep 2020 16:44:36 +0000 (17:44 +0100)]
OCaml 4.11.1 rebuild.
Richard W.M. Jones [Tue, 1 Sep 2020 17:36:39 +0000 (18:36 +0100)]
Add prooftree.
Richard W.M. Jones [Mon, 24 Aug 2020 07:43:03 +0000 (08:43 +0100)]
Enable cairo and ssl again since dune bug fixed.
Richard W.M. Jones [Fri, 21 Aug 2020 15:51:03 +0000 (16:51 +0100)]
Disable ocaml-cairo and ocaml-ssl for now.
Dune bug: https://github.com/ocaml/dune/issues/3736
Richard W.M. Jones [Fri, 21 Aug 2020 08:51:24 +0000 (09:51 +0100)]
Add all OCaml packages explicitly, get ready for OCaml 4.11.0 rebuild.
Previously I used a wildcard ocaml* to get all packages from the local
directory. However this wasn't very easy to manage, so now list the
OCaml packages explicitly. See also:
https://bugzilla.redhat.com/show_bug.cgi?id=1870368
Richard W.M. Jones [Tue, 5 May 2020 21:13:12 +0000 (22:13 +0100)]
Reenable plplot.
Richard W.M. Jones [Tue, 5 May 2020 21:04:39 +0000 (22:04 +0100)]
Revert "Disable graphviz."
This reverts commit
256c5d4ea13bc87ccf07c6813059479c198fdbd2.
Richard W.M. Jones [Tue, 5 May 2020 11:12:07 +0000 (12:12 +0100)]
Disable graphviz.
Richard W.M. Jones [Mon, 4 May 2020 16:10:03 +0000 (17:10 +0100)]
New build of OCaml 4.11.0+dev2-2020-04-22.
- Reenable camlp5, lablgtk3, Coq, haxe, why3
- Reenable libguestfs, virt-v2v
Richard W.M. Jones [Wed, 22 Apr 2020 19:25:48 +0000 (20:25 +0100)]
Disable Coq, libguestfs, virt-v2v.
Richard W.M. Jones [Tue, 21 Apr 2020 14:48:50 +0000 (15:48 +0100)]
4.11.0 pre release build attempt 2
Reenable topkg and perl4caml which both ought to be fixed (by
compiler changes) now.
Richard W.M. Jones [Sun, 19 Apr 2020 17:59:52 +0000 (18:59 +0100)]
Add full README describing how this works.
Richard W.M. Jones [Sat, 18 Apr 2020 07:36:09 +0000 (08:36 +0100)]
Disable ocaml-topkg.
https://bugzilla.redhat.com/show_bug.cgi?id=1825451
Richard W.M. Jones [Fri, 17 Apr 2020 22:17:11 +0000 (23:17 +0100)]
No camlp5 yet, and perl4caml fails to build.
Richard W.M. Jones [Fri, 17 Apr 2020 18:26:30 +0000 (19:26 +0100)]
Add laby, build now fixed.
Richard W.M. Jones [Fri, 17 Apr 2020 16:19:11 +0000 (17:19 +0100)]
Set up for build of OCaml 4.11.0 prerelease in a side tag.
Richard W.M. Jones [Fri, 17 Apr 2020 15:21:48 +0000 (16:21 +0100)]
Add utop.
Richard W.M. Jones [Mon, 6 Apr 2020 08:41:26 +0000 (09:41 +0100)]
Re-add gappalib-coq.
Richard W.M. Jones [Fri, 3 Apr 2020 12:29:03 +0000 (13:29 +0100)]
Ignore laby which FTBFS
Richard W.M. Jones [Thu, 2 Apr 2020 08:51:15 +0000 (09:51 +0100)]
Update all OCaml dependencies for RPM 4.16.
Richard W.M. Jones [Sat, 28 Mar 2020 09:36:30 +0000 (09:36 +0000)]
Add more OCaml packages.
Richard W.M. Jones [Thu, 27 Feb 2020 10:58:57 +0000 (10:58 +0000)]
Get ready for F32 build into side tag.
Richard W.M. Jones [Thu, 27 Feb 2020 10:38:24 +0000 (10:38 +0000)]
Drop opam - FTBFS.
Richard W.M. Jones [Wed, 26 Feb 2020 17:25:13 +0000 (17:25 +0000)]
Disable plplot, still FTBFS.
Richard W.M. Jones [Wed, 26 Feb 2020 13:57:54 +0000 (13:57 +0000)]
Remove nbdkit, built by hand.
Breaks a cycle libnbd <-> nbdkit.
Richard W.M. Jones [Wed, 26 Feb 2020 13:57:31 +0000 (13:57 +0000)]
Remove now unused definitions of %koji and %fedpkg.
Removed from upstream goals.
Richard W.M. Jones [Tue, 25 Feb 2020 22:22:36 +0000 (22:22 +0000)]
Another tactic -> predicate replacement.
Richard W.M. Jones [Tue, 25 Feb 2020 21:36:21 +0000 (21:36 +0000)]
Get ready for OCaml 4.10.0 final rebuild.
Richard W.M. Jones [Tue, 25 Feb 2020 11:05:27 +0000 (11:05 +0000)]
Re-enable opam.
https://bugzilla.redhat.com/1792770 marked as fixed.
Richard W.M. Jones [Tue, 25 Feb 2020 11:04:28 +0000 (11:04 +0000)]
Re-enable z3.
Jerry tells me this package is fixed with a temporary workaround. Bug
1792740 is only there as a placeholder for the permanent fix.
Richard W.M. Jones [Tue, 25 Feb 2020 11:04:03 +0000 (11:04 +0000)]
Re-enable plplot.
Richard W.M. Jones [Tue, 25 Feb 2020 11:02:09 +0000 (11:02 +0000)]
Re-enable nbdkit.
I wrote all the code here, I should fix whatever the problem is (I
believe it's a circular dependency between nbdkit <-> libnbd).
Richard W.M. Jones [Tue, 25 Feb 2020 11:00:47 +0000 (11:00 +0000)]
Re-enable ocaml-lwt + dependent packages.
Originally blocked because of https://bugzilla.redhat.com/1792780
We are going to rebase ocaml-lwt to 5.1.2
(https://bugzilla.redhat.com/1755859) which might fix this.
Richard W.M. Jones [Tue, 25 Feb 2020 11:00:07 +0000 (11:00 +0000)]
Reenable ocaml-base + dependent packages.
Bug 1792769 is marked as fixed.
Richard W.M. Jones [Sun, 19 Jan 2020 23:18:16 +0000 (23:18 +0000)]
Add ocaml-base deps, and oaml-lwt + deps.
Richard W.M. Jones [Sun, 19 Jan 2020 21:08:21 +0000 (21:08 +0000)]
Ignore ocaml-base and opam, both FTBFS with OCaml 4.10.
Richard W.M. Jones [Sun, 19 Jan 2020 16:41:47 +0000 (16:41 +0000)]
Coq not in fact fixes, disable + deps again.
Richard W.M. Jones [Sun, 19 Jan 2020 16:29:42 +0000 (16:29 +0000)]
Enable coq again, disable z3 and coccinelle.
Richard W.M. Jones [Sun, 19 Jan 2020 14:29:22 +0000 (14:29 +0000)]
Block coq + deps, and plplot.
Richard W.M. Jones [Sat, 18 Jan 2020 20:01:54 +0000 (20:01 +0000)]
Disable nbdkit for now - see comment.
Richard W.M. Jones [Sat, 18 Jan 2020 13:19:56 +0000 (13:19 +0000)]
Instead of using ignored list for camlp4 packages, remove the sources.
Richard W.M. Jones [Sat, 18 Jan 2020 13:12:26 +0000 (13:12 +0000)]
Adjust to use new fedora.gl library in goals stdlib.
Richard W.M. Jones [Sat, 18 Jan 2020 12:30:26 +0000 (12:30 +0000)]
Prepare for OCaml 4.10.0 beta 1 rebuild.
Richard W.M. Jones [Sat, 18 Jan 2020 12:30:08 +0000 (12:30 +0000)]
Rename *built-in-koji -> *koji-built.
Compatible with the talk I gave.
Richard W.M. Jones [Fri, 10 Jan 2020 22:00:35 +0000 (22:00 +0000)]
Revert "Ignore some packages which failed to build on riscv64."
This reverts commit
5af9155f742f6eeca45bf0699d47e80bf7d8eaf6.
Richard W.M. Jones [Fri, 10 Jan 2020 13:39:52 +0000 (13:39 +0000)]
Ignore some packages which failed to build on riscv64.
Richard W.M. Jones [Fri, 10 Jan 2020 13:38:04 +0000 (13:38 +0000)]
Use new wrap() function.
Richard W.M. Jones [Wed, 8 Jan 2020 22:16:47 +0000 (22:16 +0000)]
Do a git pull before bumping local version.
Richard W.M. Jones [Wed, 8 Jan 2020 22:08:55 +0000 (22:08 +0000)]
Reduce verbosity of source-dependencies.
Doesn't work well with parallel builds.
Richard W.M. Jones [Wed, 8 Jan 2020 22:08:20 +0000 (22:08 +0000)]
List blocked packages explicitly for now.
Until we get blocked functionality working.
Richard W.M. Jones [Wed, 8 Jan 2020 21:58:18 +0000 (21:58 +0000)]
Ignore certain optional commands failing.
Richard W.M. Jones [Tue, 7 Jan 2020 20:24:44 +0000 (20:24 +0000)]
Fix koji wait-repo so it adds --build option.
Richard W.M. Jones [Tue, 7 Jan 2020 20:24:21 +0000 (20:24 +0000)]
Fix fedpkg build so it uses --target option.
Richard W.M. Jones [Tue, 7 Jan 2020 13:51:18 +0000 (13:51 +0000)]
Fix koji wait-repo command.
Richard W.M. Jones [Tue, 7 Jan 2020 13:18:06 +0000 (13:18 +0000)]
Fix for koji buildinfo.
Richard W.M. Jones [Tue, 7 Jan 2020 13:17:44 +0000 (13:17 +0000)]
Allow fedpkg to be overridden, for building into different Koji profiles.
Richard W.M. Jones [Tue, 7 Jan 2020 12:17:14 +0000 (12:17 +0000)]
Fix quoting of %koji.
Richard W.M. Jones [Tue, 7 Jan 2020 11:51:06 +0000 (11:51 +0000)]
Build OCaml into riscv64 side tag.