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.
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.
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.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:49 +0000 (11:49 +0000)]
Allow koji to be changed.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:14 +0000 (11:49 +0000)]
Remove unused yum-repo variable.
Richard W.M. Jones [Mon, 6 Jan 2020 10:40:32 +0000 (10:40 +0000)]
Initial commit.
git.annexia.org / fedora-ocaml-rebuild.git / log