fedora-ocaml-rebuild.git
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.