fedora-ocaml-rebuild.git
2 months agoOrphaned ocaml-newt master
Richard W.M. Jones [Tue, 30 Jan 2024 12:33:23 +0000 (12:33 +0000)]
Orphaned ocaml-newt

4 months agoRebuild OCaml packages in Fedora 40 with s390x code gen fix
Richard W.M. Jones [Mon, 18 Dec 2023 11:09:58 +0000 (11:09 +0000)]
Rebuild OCaml packages in Fedora 40 with s390x code gen fix

https://github.com/ocaml/ocaml/issues/12829
https://github.com/ocaml/ocaml/pull/12831

4 months agoReenable guestfs-tools, libnbd, virt-v2v.
Richard W.M. Jones [Thu, 14 Dec 2023 14:05:22 +0000 (14:05 +0000)]
Reenable guestfs-tools, libnbd, virt-v2v.

OCaml issue that was causing build hangs has been fixed.

4 months agoDisable guestfs-tools => tests hang like libnbd
Richard W.M. Jones [Tue, 12 Dec 2023 18:52:10 +0000 (18:52 +0000)]
Disable guestfs-tools => tests hang like libnbd
Disable virt-v2v => needs libnbd

4 months agoReenable swig, now built
Richard W.M. Jones [Tue, 12 Dec 2023 18:52:03 +0000 (18:52 +0000)]
Reenable swig, now built

4 months agoMove fedora and ELN packages to separate included source files
Richard W.M. Jones [Tue, 12 Dec 2023 15:24:15 +0000 (15:24 +0000)]
Move fedora and ELN packages to separate included source files

4 months agoTemporarily disable swig while building it by hand
Richard W.M. Jones [Tue, 12 Dec 2023 15:16:24 +0000 (15:16 +0000)]
Temporarily disable swig while building it by hand

4 months agoDisable libnbd temporarily
Richard W.M. Jones [Tue, 12 Dec 2023 12:06:08 +0000 (12:06 +0000)]
Disable libnbd temporarily

libnbd hangs in OCaml tests which is suspicious:

make[3]: Entering directory '/builddir/build/BUILD/libnbd-1.19.2/ocaml/tests'
PASS: test_010_import.bc
PASS: test_140_explicit_close.bc
<-- hangs here

It needs further investigation.

4 months agoAdd new packages
Richard W.M. Jones [Tue, 12 Dec 2023 11:48:04 +0000 (11:48 +0000)]
Add new packages

ocaml-ptime: https://bugzilla.redhat.com/show_bug.cgi?id=2242903
ocaml-crunch: https://bugzilla.redhat.com/show_bug.cgi?id=2242904
ocaml-stdlib-random: https://bugzilla.redhat.com/show_bug.cgi?id=2242905

4 months agoPrepare for OCaml 5.1.1
Richard W.M. Jones [Mon, 11 Dec 2023 22:53:30 +0000 (22:53 +0000)]
Prepare for OCaml 5.1.1

Also:

- Set %fedora-retry-failed to its recommended value ("0").  We
  never had it set to this before however.

- Remove ocaml-odoc-parser.

6 months agoAdd not-ocamlfind
Richard W.M. Jones [Thu, 5 Oct 2023 16:30:06 +0000 (17:30 +0100)]
Add not-ocamlfind

6 months agoAdd ocaml-camlp5-buildscripts
Richard W.M. Jones [Thu, 5 Oct 2023 16:12:10 +0000 (17:12 +0100)]
Add ocaml-camlp5-buildscripts

New package required by ocaml-camlp5

6 months agoNote about why dependency calculations were broken
Richard W.M. Jones [Thu, 5 Oct 2023 13:04:26 +0000 (14:04 +0100)]
Note about why dependency calculations were broken

Dependency calculation was only being done partially as the list of
fedora source packages was incomplete.  After examination of the log I
saw:

  + echo 'ocaml-pcre2: package is not checked out locally'
  ocaml-pcre2: package is not checked out locally
  + exit 1

For some reason this did not cause the function (and goals) to exit.
Is it a bug in goals?  Anyway make the error more prominent at least.

6 months agoSet side tag & magic string for F40 / OCaml 5.1 rebuild
Richard W.M. Jones [Thu, 5 Oct 2023 10:01:49 +0000 (11:01 +0100)]
Set side tag & magic string for F40 / OCaml 5.1 rebuild

6 months agoBegin rebuild of OCaml 5.1
Richard W.M. Jones [Thu, 5 Oct 2023 08:40:48 +0000 (09:40 +0100)]
Begin rebuild of OCaml 5.1

Enable camlp5 -> haxe

Add ocaml-pcre2 (for camlp5)

Enable swig -> graphviz

Retire ocaml-odoc-parser (merged into and replaced by ocaml-odoc)

Add planets

9 months agoAdd emacs-common-tuareg
Richard W.M. Jones [Sat, 22 Jul 2023 07:07:23 +0000 (08:07 +0100)]
Add emacs-common-tuareg

The new version depends on emacs-caml-mode, emacs-merlin,
ocaml-merlin, ocaml-source.

9 months agoAdd guestfs-tools
Richard W.M. Jones [Fri, 14 Jul 2023 14:06:19 +0000 (15:06 +0100)]
Add guestfs-tools

9 months agoRe-enable ocaml-atd
Richard W.M. Jones [Wed, 12 Jul 2023 18:11:02 +0000 (19:11 +0100)]
Re-enable ocaml-atd

I removed the Python3 flake8 dependency.

9 months agoRe-enable coq and packages that depend on it
Richard W.M. Jones [Wed, 12 Jul 2023 16:11:58 +0000 (17:11 +0100)]
Re-enable coq and packages that depend on it

We have reached a resolution here: we'll only build coq on
architectures that have the native compiler.

9 months agoDisable frama-c
Richard W.M. Jones [Wed, 12 Jul 2023 15:23:38 +0000 (16:23 +0100)]
Disable frama-c

Depends on coq via why3.

9 months agoDisable flocq, gappalib-coq, graphviz, haxe, why3, zenon
Richard W.M. Jones [Wed, 12 Jul 2023 13:32:34 +0000 (14:32 +0100)]
Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon

Depend variously on coq, camlp5 and swig.

9 months agoDisable ocaml-atd, ocaml-camlp5, coq, swig
Richard W.M. Jones [Wed, 12 Jul 2023 12:59:11 +0000 (13:59 +0100)]
Disable ocaml-atd, ocaml-camlp5, coq, swig

See comments for why.

9 months agoEnable dune
Richard W.M. Jones [Wed, 12 Jul 2023 12:58:48 +0000 (13:58 +0100)]
Enable dune

There's a note about a cyclic dependency, but it worked fine for me now.

9 months agoRestrict ExcludeArch check to just ocaml* packages
Richard W.M. Jones [Tue, 11 Jul 2023 18:50:15 +0000 (19:50 +0100)]
Restrict ExcludeArch check to just ocaml* packages

9 months agoRemove package notes disabling check
Richard W.M. Jones [Tue, 11 Jul 2023 16:52:02 +0000 (17:52 +0100)]
Remove package notes disabling check

9 months agoRemove laby, now dead.package
Richard W.M. Jones [Tue, 11 Jul 2023 10:08:34 +0000 (11:08 +0100)]
Remove laby, now dead.package

9 months agoEnsure all packages ExcludeArch: %{ix86}
Richard W.M. Jones [Tue, 11 Jul 2023 10:01:44 +0000 (11:01 +0100)]
Ensure all packages ExcludeArch: %{ix86}

9 months agoRemove obsolete packages for OCaml 5.0
Richard W.M. Jones [Tue, 11 Jul 2023 09:54:47 +0000 (10:54 +0100)]
Remove obsolete packages for OCaml 5.0

Remove the following:
 - ocaml-ancient
 - ocaml-charinfo-width
 - ocaml-cil
 - ocaml-lwt-log
 - ocaml-migrate-parsetree
 - ocaml-mmap
 - ocaml-seq
 - ocaml-tplib

Also update the side tag name and commit message in preparation
for the build.

9 months agoAdd ocaml-yaml, ocaml-ppx-deriving-yaml
Richard W.M. Jones [Wed, 5 Jul 2023 08:55:18 +0000 (09:55 +0100)]
Add ocaml-yaml, ocaml-ppx-deriving-yaml

9 months agoAdd ocaml-ppx-{globalize,stable-witness}
Richard W.M. Jones [Wed, 5 Jul 2023 08:55:02 +0000 (09:55 +0100)]
Add ocaml-ppx-{globalize,stable-witness}

9 months agoAdd various ocaml-uu* (Unicode) packages
Richard W.M. Jones [Wed, 5 Jul 2023 08:53:37 +0000 (09:53 +0100)]
Add various ocaml-uu* (Unicode) packages

9 months agoAdd SWIG
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

15 months agoAdd ocaml-ppx-import
Richard W.M. Jones [Tue, 24 Jan 2023 22:28:08 +0000 (22:28 +0000)]
Add ocaml-ppx-import

New dependency of frama-c

15 months agoRemove ocaml-stdint
Richard W.M. Jones [Tue, 24 Jan 2023 21:26:49 +0000 (21:26 +0000)]
Remove ocaml-stdint

Now a dead.package

15 months agoRemove ocaml-jsonm
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.

15 months agoSet new %fedora-retry-failed flag
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.

15 months agogoals now supports rpmautospec / %autochangelog
Richard W.M. Jones [Tue, 24 Jan 2023 13:45:24 +0000 (13:45 +0000)]
goals now supports rpmautospec / %autochangelog

15 months agoSend error message to stderr
Richard W.M. Jones [Tue, 24 Jan 2023 13:04:22 +0000 (13:04 +0000)]
Send error message to stderr

Updates: commit 6a0a1f4a9808a0e6dd53e80b1d118c1e90baa3ac

15 months agoComment out ocaml-dune because of cyclic dependency
Richard W.M. Jones [Tue, 24 Jan 2023 11:17:58 +0000 (11:17 +0000)]
Comment out ocaml-dune because of cyclic dependency

15 months agoAdd ocaml-camlp-streams
Richard W.M. Jones [Tue, 24 Jan 2023 09:57:17 +0000 (09:57 +0000)]
Add ocaml-camlp-streams

15 months agoAdd ocaml-pp
Richard W.M. Jones [Tue, 24 Jan 2023 08:56:26 +0000 (08:56 +0000)]
Add ocaml-pp

New dependency of dune.

15 months agoNote to remove all .depcache files on the first run of a new build
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.

15 months agoRebuild all OCaml packages after Fedora 38 mass rebuild
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/

19 months agoAdd ocaml-atd
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.

19 months agoRemove ocaml-uuidm
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.

22 months agoIgnore opam, using rpmautospec
Richard W.M. Jones [Sun, 19 Jun 2022 19:07:46 +0000 (20:07 +0100)]
Ignore opam, using rpmautospec

22 months agoIgnore ocaml-dose3 because it also uses rpmautospec
Richard W.M. Jones [Sun, 19 Jun 2022 17:28:12 +0000 (18:28 +0100)]
Ignore ocaml-dose3 because it also uses rpmautospec

22 months agoTry enabling plplot again
Richard W.M. Jones [Sun, 19 Jun 2022 11:54:49 +0000 (12:54 +0100)]
Try enabling plplot again

22 months agoPrepare for OCaml 4.14.0 rebuild
Richard W.M. Jones [Sat, 18 Jun 2022 11:42:54 +0000 (12:42 +0100)]
Prepare for OCaml 4.14.0 rebuild

2 years agoIgnore some rpmautospec packages for now
Richard W.M. Jones [Fri, 4 Feb 2022 22:46:57 +0000 (22:46 +0000)]
Ignore some rpmautospec packages for now

2 years agoAdd supermin
Richard W.M. Jones [Fri, 4 Feb 2022 22:46:47 +0000 (22:46 +0000)]
Add supermin

2 years agoDisable plplot which FTBFS because of broken webkit dependency
Richard W.M. Jones [Fri, 4 Feb 2022 14:19:45 +0000 (14:19 +0000)]
Disable plplot which FTBFS because of broken webkit dependency

2 years agoRebuild 4.13.1 to remove package notes
Richard W.M. Jones [Fri, 4 Feb 2022 09:59:14 +0000 (09:59 +0000)]
Rebuild 4.13.1 to remove package notes

2 years agoVerify that all packages disable the "package notes" misfeature
Richard W.M. Jones [Fri, 4 Feb 2022 09:47:36 +0000 (09:47 +0000)]
Verify that all packages disable the "package notes" misfeature

2 years agoRemove a couple of dead packages
Richard W.M. Jones [Fri, 4 Feb 2022 10:20:03 +0000 (10:20 +0000)]
Remove a couple of dead packages

2 years agoAdd more packages
Richard W.M. Jones [Thu, 3 Feb 2022 08:45:33 +0000 (08:45 +0000)]
Add more packages

2 years agoAdd new 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

2 years agoEnable haxe again
Richard W.M. Jones [Tue, 5 Oct 2021 19:24:11 +0000 (20:24 +0100)]
Enable haxe again

2 years agoAdd ocaml-camlbz2
Richard W.M. Jones [Tue, 5 Oct 2021 18:18:07 +0000 (19:18 +0100)]
Add ocaml-camlbz2

2 years agoAdd ocaml-parmap
Richard W.M. Jones [Tue, 5 Oct 2021 16:50:36 +0000 (17:50 +0100)]
Add ocaml-parmap

2 years agoPrepare for OCaml 4.13.1 build
Richard W.M. Jones [Mon, 4 Oct 2021 17:30:53 +0000 (18:30 +0100)]
Prepare for OCaml 4.13.1 build

3 years agoRemove haxe as it FTBFS.
Richard W.M. Jones [Tue, 2 Mar 2021 09:42:09 +0000 (09:42 +0000)]
Remove haxe as it FTBFS.

3 years agoEnable ocaml-odoc again.
Richard W.M. Jones [Mon, 1 Mar 2021 18:51:42 +0000 (18:51 +0000)]
Enable ocaml-odoc again.

3 years agoIgnore dead.package.
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.

3 years agoRemove ocaml-rope dead.package.
Richard W.M. Jones [Mon, 1 Mar 2021 12:44:33 +0000 (12:44 +0000)]
Remove ocaml-rope dead.package.

3 years agoRemove ocaml-ppx-tools-versioned dead.package.
Richard W.M. Jones [Mon, 1 Mar 2021 12:42:50 +0000 (12:42 +0000)]
Remove ocaml-ppx-tools-versioned dead.package.

3 years agoDon't rebuild ocaml-odoc because it causes a loop.
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

3 years agoFedora 35 OCaml 4.12.0 build.
Richard W.M. Jones [Sun, 28 Feb 2021 21:48:04 +0000 (21:48 +0000)]
Fedora 35 OCaml 4.12.0 build.

3 years agoEnable gappalib-coq again.
Richard W.M. Jones [Sun, 28 Feb 2021 21:47:56 +0000 (21:47 +0000)]
Enable gappalib-coq again.

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

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

3 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.

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

3 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.