git.annexia.org
/
fedora-ocaml-rebuild.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
fedora-ocaml-rebuild.git
2020-02-28
Richard W.M...
Get ready for F32 build into side tag.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-27
Richard W.M...
Drop opam - FTBFS.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-26
Richard W.M...
Disable plplot, still FTBFS.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-26
Richard W.M...
Remove nbdkit, built by hand.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-26
Richard W.M...
Remove now unused definitions of %koji and %fedpkg.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Another tactic -> predicate replacement.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Get ready for OCaml 4.10.0 final rebuild.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Re-enable opam.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Re-enable z3.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Re-enable plplot.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Re-enable nbdkit.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Re-enable ocaml-lwt + dependent packages.
commit
|
commitdiff
|
tree
|
snapshot
2020-02-25
Richard W.M...
Reenable ocaml-base + dependent packages.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-19
Richard W.M...
Add ocaml-base deps, and oaml-lwt + deps.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-19
Richard W.M...
Ignore ocaml-base and opam, both FTBFS with OCaml 4.10.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-19
Richard W.M...
Coq not in fact fixes, disable + deps again.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-19
Richard W.M...
Enable coq again, disable z3 and coccinelle.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-19
Richard W.M...
Block coq + deps, and plplot.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-18
Richard W.M...
Disable nbdkit for now - see comment.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-18
Richard W.M...
Instead of using ignored list for camlp4 packages,...
commit
|
commitdiff
|
tree
|
snapshot
2020-01-18
Richard W.M...
Adjust to use new fedora.gl library in goals stdlib.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-18
Richard W.M...
Prepare for OCaml 4.10.0 beta 1 rebuild.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-18
Richard W.M...
Rename *built-in-koji -> *koji-built.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-10
Richard W.M...
Revert "Ignore some packages which failed to build...
commit
|
commitdiff
|
tree
|
snapshot
2020-01-10
Richard W.M...
Ignore some packages which failed to build on riscv64.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-10
Richard W.M...
Use new wrap() function.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-08
Richard W.M...
Do a git pull before bumping local version.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-08
Richard W.M...
Reduce verbosity of source-dependencies.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-08
Richard W.M...
List blocked packages explicitly for now.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-08
Richard W.M...
Ignore certain optional commands failing.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Fix koji wait-repo so it adds --build option.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Fix fedpkg build so it uses --target option.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Fix koji wait-repo command.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Fix for koji buildinfo.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Allow fedpkg to be overridden, for building into differ...
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Fix quoting of %koji.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Build OCaml into riscv64 side tag.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Use koji build directly instead of fedpkg build.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Wait for dependencies to appear in the repo before...
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Allow koji to be changed.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Remove unused yum-repo variable.
commit
|
commitdiff
|
tree
|
snapshot
2020-01-07
Richard W.M...
Initial commit.
commit
|
commitdiff
|
tree
|
snapshot