fedora-ocaml-rebuild.git
3 years agoAdd ocaml-bigarray-compat ocaml-csexp ocaml-ctypes ocaml-integers ocaml-luv
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

3 years agoAdd ocaml-graphics.
Richard W.M. Jones [Tue, 19 Jan 2021 16:51:28 +0000 (16:51 +0000)]
Add ocaml-graphics.

3 years agoF33 rebuild.
Richard W.M. Jones [Wed, 2 Sep 2020 18:37:10 +0000 (19:37 +0100)]
F33 rebuild.

3 years agoInclude separate Coq packages list in the main list.
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.

3 years agoOCaml 4.11.1 rebuild.
Richard W.M. Jones [Tue, 1 Sep 2020 16:44:36 +0000 (17:44 +0100)]
OCaml 4.11.1 rebuild.

3 years agoAdd prooftree.
Richard W.M. Jones [Tue, 1 Sep 2020 17:36:39 +0000 (18:36 +0100)]
Add prooftree.

3 years agoEnable cairo and ssl again since dune bug fixed.
Richard W.M. Jones [Mon, 24 Aug 2020 07:43:03 +0000 (08:43 +0100)]
Enable cairo and ssl again since dune bug fixed.

3 years agoDisable ocaml-cairo and ocaml-ssl for now.
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

3 years agoAdd all OCaml packages explicitly, get ready for OCaml 4.11.0 rebuild.
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

4 years agoReenable plplot.
Richard W.M. Jones [Tue, 5 May 2020 21:13:12 +0000 (22:13 +0100)]
Reenable plplot.

4 years agoRevert "Disable graphviz."
Richard W.M. Jones [Tue, 5 May 2020 21:04:39 +0000 (22:04 +0100)]
Revert "Disable graphviz."

This reverts commit 256c5d4ea13bc87ccf07c6813059479c198fdbd2.

4 years agoDisable graphviz.
Richard W.M. Jones [Tue, 5 May 2020 11:12:07 +0000 (12:12 +0100)]
Disable graphviz.

4 years agoNew build of OCaml 4.11.0+dev2-2020-04-22.
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

4 years agoDisable Coq, libguestfs, virt-v2v.
Richard W.M. Jones [Wed, 22 Apr 2020 19:25:48 +0000 (20:25 +0100)]
Disable Coq, libguestfs, virt-v2v.

4 years ago4.11.0 pre release build attempt 2
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.

4 years agoAdd full README describing how this works.
Richard W.M. Jones [Sun, 19 Apr 2020 17:59:52 +0000 (18:59 +0100)]
Add full README describing how this works.

4 years agoDisable ocaml-topkg.
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

4 years agoNo camlp5 yet, and perl4caml fails to build.
Richard W.M. Jones [Fri, 17 Apr 2020 22:17:11 +0000 (23:17 +0100)]
No camlp5 yet, and perl4caml fails to build.

4 years agoAdd laby, build now fixed.
Richard W.M. Jones [Fri, 17 Apr 2020 18:26:30 +0000 (19:26 +0100)]
Add laby, build now fixed.

4 years agoSet up for build of OCaml 4.11.0 prerelease in a side tag.
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.

4 years agoAdd utop.
Richard W.M. Jones [Fri, 17 Apr 2020 15:21:48 +0000 (16:21 +0100)]
Add utop.

4 years agoRe-add gappalib-coq.
Richard W.M. Jones [Mon, 6 Apr 2020 08:41:26 +0000 (09:41 +0100)]
Re-add gappalib-coq.

4 years agoIgnore laby which FTBFS
Richard W.M. Jones [Fri, 3 Apr 2020 12:29:03 +0000 (13:29 +0100)]
Ignore laby which FTBFS

4 years agoUpdate all OCaml dependencies for RPM 4.16.
Richard W.M. Jones [Thu, 2 Apr 2020 08:51:15 +0000 (09:51 +0100)]
Update all OCaml dependencies for RPM 4.16.

4 years agoAdd more OCaml packages.
Richard W.M. Jones [Sat, 28 Mar 2020 09:36:30 +0000 (09:36 +0000)]
Add more OCaml packages.

4 years agoGet ready for F32 build into side tag.
Richard W.M. Jones [Thu, 27 Feb 2020 10:58:57 +0000 (10:58 +0000)]
Get ready for F32 build into side tag.

4 years agoDrop opam - FTBFS.
Richard W.M. Jones [Thu, 27 Feb 2020 10:38:24 +0000 (10:38 +0000)]
Drop opam - FTBFS.

4 years agoDisable plplot, still FTBFS.
Richard W.M. Jones [Wed, 26 Feb 2020 17:25:13 +0000 (17:25 +0000)]
Disable plplot, still FTBFS.

4 years agoRemove nbdkit, built by hand.
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.

4 years agoRemove now unused definitions of %koji and %fedpkg.
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.

4 years agoAnother tactic -> predicate replacement.
Richard W.M. Jones [Tue, 25 Feb 2020 22:22:36 +0000 (22:22 +0000)]
Another tactic -> predicate replacement.

4 years agoGet ready for OCaml 4.10.0 final rebuild.
Richard W.M. Jones [Tue, 25 Feb 2020 21:36:21 +0000 (21:36 +0000)]
Get ready for OCaml 4.10.0 final rebuild.

4 years agoRe-enable opam.
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.

4 years agoRe-enable z3.
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.

4 years agoRe-enable plplot.
Richard W.M. Jones [Tue, 25 Feb 2020 11:04:03 +0000 (11:04 +0000)]
Re-enable plplot.

4 years agoRe-enable nbdkit.
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).

4 years agoRe-enable ocaml-lwt + dependent packages.
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.

4 years agoReenable ocaml-base + dependent packages.
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.

4 years agoAdd ocaml-base deps, and oaml-lwt + deps.
Richard W.M. Jones [Sun, 19 Jan 2020 23:18:16 +0000 (23:18 +0000)]
Add ocaml-base deps, and oaml-lwt + deps.

4 years agoIgnore ocaml-base and opam, both FTBFS with OCaml 4.10.
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.

4 years agoCoq not in fact fixes, disable + deps again.
Richard W.M. Jones [Sun, 19 Jan 2020 16:41:47 +0000 (16:41 +0000)]
Coq not in fact fixes, disable + deps again.

4 years agoEnable coq again, disable z3 and coccinelle.
Richard W.M. Jones [Sun, 19 Jan 2020 16:29:42 +0000 (16:29 +0000)]
Enable coq again, disable z3 and coccinelle.

4 years agoBlock coq + deps, and plplot.
Richard W.M. Jones [Sun, 19 Jan 2020 14:29:22 +0000 (14:29 +0000)]
Block coq + deps, and plplot.

4 years agoDisable nbdkit for now - see comment.
Richard W.M. Jones [Sat, 18 Jan 2020 20:01:54 +0000 (20:01 +0000)]
Disable nbdkit for now - see comment.

4 years agoInstead of using ignored list for camlp4 packages, remove the sources.
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.

4 years agoAdjust to use new fedora.gl library in goals stdlib.
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.

4 years agoPrepare for OCaml 4.10.0 beta 1 rebuild.
Richard W.M. Jones [Sat, 18 Jan 2020 12:30:26 +0000 (12:30 +0000)]
Prepare for OCaml 4.10.0 beta 1 rebuild.

4 years agoRename *built-in-koji -> *koji-built.
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.

4 years agoRevert "Ignore some packages which failed to build on riscv64."
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.

4 years agoIgnore some packages which failed to build on riscv64.
Richard W.M. Jones [Fri, 10 Jan 2020 13:39:52 +0000 (13:39 +0000)]
Ignore some packages which failed to build on riscv64.

4 years agoUse new wrap() function.
Richard W.M. Jones [Fri, 10 Jan 2020 13:38:04 +0000 (13:38 +0000)]
Use new wrap() function.

4 years agoDo a git pull before bumping local version.
Richard W.M. Jones [Wed, 8 Jan 2020 22:16:47 +0000 (22:16 +0000)]
Do a git pull before bumping local version.

4 years agoReduce verbosity of source-dependencies.
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.

4 years agoList blocked packages explicitly for now.
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.

4 years agoIgnore certain optional commands failing.
Richard W.M. Jones [Wed, 8 Jan 2020 21:58:18 +0000 (21:58 +0000)]
Ignore certain optional commands failing.

4 years agoFix koji wait-repo so it adds --build option.
Richard W.M. Jones [Tue, 7 Jan 2020 20:24:44 +0000 (20:24 +0000)]
Fix koji wait-repo so it adds --build option.

4 years agoFix fedpkg build so it uses --target option.
Richard W.M. Jones [Tue, 7 Jan 2020 20:24:21 +0000 (20:24 +0000)]
Fix fedpkg build so it uses --target option.

4 years agoFix koji wait-repo command.
Richard W.M. Jones [Tue, 7 Jan 2020 13:51:18 +0000 (13:51 +0000)]
Fix koji wait-repo command.

4 years agoFix for koji buildinfo.
Richard W.M. Jones [Tue, 7 Jan 2020 13:18:06 +0000 (13:18 +0000)]
Fix for koji buildinfo.

4 years agoAllow fedpkg to be overridden, for building into different Koji profiles.
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.

4 years agoFix quoting of %koji.
Richard W.M. Jones [Tue, 7 Jan 2020 12:17:14 +0000 (12:17 +0000)]
Fix quoting of %koji.

4 years agoBuild OCaml into riscv64 side tag.
Richard W.M. Jones [Tue, 7 Jan 2020 11:51:06 +0000 (11:51 +0000)]
Build OCaml into riscv64 side tag.

4 years agoUse koji build directly instead of fedpkg build.
Richard W.M. Jones [Tue, 7 Jan 2020 11:50:40 +0000 (11:50 +0000)]
Use koji build directly instead of fedpkg build.

Allows us to specify an alternative koji --profile option in %koji.

4 years agoWait for dependencies to appear in the repo before building.
Richard W.M. Jones [Tue, 7 Jan 2020 11:50:14 +0000 (11:50 +0000)]
Wait for dependencies to appear in the repo before building.

4 years agoAllow koji to be changed.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:49 +0000 (11:49 +0000)]
Allow koji to be changed.

4 years agoRemove unused yum-repo variable.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:14 +0000 (11:49 +0000)]
Remove unused yum-repo variable.

4 years agoInitial commit.
Richard W.M. Jones [Mon, 6 Jan 2020 10:40:32 +0000 (10:40 +0000)]
Initial commit.