[rpms/ocaml-mlgmpidl] rawhide: OCaml 5.5.0 rebuild

[Jerry James <loganjerry@gmail.com>]

            A new commit has been pushed.

            Repo   : rpms/ocaml-mlgmpidl
            Branch : rawhide
            Commit : ab7ecbd8e6017abcd974df7ba99d2087b0d02f4e
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T10:59:51-06:00
            Stats  : +67/-5 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/ocaml-mlgmpidl/c/ab7ecbd8e6017abcd974df7ba99d2087b0d02f4e?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Build the manual with pdflatex instead of latex + dvipdf

---
diff --git a/ocaml-mlgmpidl-pdflatex.patch b/ocaml-mlgmpidl-pdflatex.patch
new file mode 100644
index 0000000..730c157
--- /dev/null
+++ b/ocaml-mlgmpidl-pdflatex.patch
@@ -0,0 +1,40 @@
+--- mlgmpidl-1.3.0/Makefile.orig	2023-04-04 09:08:47.000000000 -0600
++++ mlgmpidl-1.3.0/Makefile	2026-06-26 14:07:24.359396921 -0600
+@@ -214,16 +214,13 @@ dist: $(IDLMODULES:%=%.idl) mpfrf.ml  mp
+ 
+ .PHONY: html mlgmpidl.dvi
+ 
+-mlgmpidl.pdf: mlgmpidl.dvi
+-	$(DVIPDF) mlgmpidl.dvi
+-
+-mlgmpidl.dvi: introduction.mli $(MLMODULES:%=%.mli)
++mlgmpidl.pdf: introduction.mli $(MLMODULES:%=%.mli)
+ 	$(OCAMLDOC) \
+ 	-latextitle 1,chapter -latextitle 2,section -latextitle 3,subsection -latextitle 4,subsubsection -latextitle 5,paragraph -latextitle 6,subparagraph -noheader -notrailer -latex -o ocamldoc.tex $^
+-	$(LATEX) mlgmpidl
++	pdflatex mlgmpidl
+ 	$(MAKEINDEX) mlgmpidl
+-	$(LATEX) mlgmpidl
+-	$(LATEX) mlgmpidl
++	pdflatex mlgmpidl
++	pdflatex mlgmpidl
+ 
+ html: $(MLMODULES:%=%.mli)
+ 	mkdir -p html
+--- mlgmpidl-1.3.0/mlgmpidl.tex.orig	2023-04-04 09:08:47.000000000 -0600
++++ mlgmpidl-1.3.0/mlgmpidl.tex	2026-06-26 14:26:01.026881151 -0600
+@@ -1,4 +1,4 @@
+-\documentclass[[twoside,10pt,a4paper]{report}
++\documentclass[twoside,10pt,a4paper]{report}
+ \usepackage[latin1]{inputenc}
+ \usepackage[T1]{fontenc}
+ \usepackage{textcomp}
+@@ -22,7 +22,7 @@
+ \usepackage{color}
+ \definecolor{mygreen}{rgb}{0,0.6,0}
+ 
+-\usepackage[ps2pdf]{hyperref}
++\usepackage{hyperref}
+ 
+ \setlength{\parindent}{0em}
+ \setlength{\parskip}{0.5ex}

diff --git a/ocaml-mlgmpidl.spec b/ocaml-mlgmpidl.spec
index d8c1baf..61b119f 100644
--- a/ocaml-mlgmpidl.spec
+++ b/ocaml-mlgmpidl.spec
@@ -3,7 +3,7 @@ ExcludeArch: %{ix86}
 
 Name:           ocaml-mlgmpidl
 Version:        1.3.0
-Release:        19%{?dist}
+Release:        20%{?dist}
 Summary:        OCaml interface to GMP and MPFR libraries
 License:        LGPL-2.1-only WITH OCaml-LGPL-linking-exception
 
@@ -14,6 +14,8 @@ Source1:        mlgmpidl_test.ml
 Source2:        mlgmpidl_test_result
 # Remove dependency on the bigarray-compat forward compatibility shim
 Patch:          %{name}-bigarray-compat.patch
+# Create PDFs with pdflatex instead of latex + dvipdf
+Patch:          %{name}-pdflatex.patch
 
 BuildRequires:  gcc
 BuildRequires:  make
@@ -26,10 +28,22 @@ BuildRequires:  gmp-devel
 BuildRequires:  mpfr-devel
 BuildRequires:  perl-interpreter
 # BuildRequires for documentation build
-BuildRequires:  tex(latex)
-BuildRequires:  texlive-ec
+BuildRequires:  tex(ae.sty)
+BuildRequires:  tex(color.sty)
+BuildRequires:  tex(fancyhdr.sty)
+BuildRequires:  tex(fontenc.sty)
 BuildRequires:  tex(fullpage.sty)
-BuildRequires:  ghostscript-tools-dvipdf
+BuildRequires:  tex(hyperref.sty)
+BuildRequires:  tex(inputenc.sty)
+BuildRequires:  tex(makeidx.sty)
+BuildRequires:  tex(textcomp.sty)
+BuildRequires:  tex(url.sty)
+BuildRequires:  tex(xspace.sty)
+BuildRequires:  texlive-ec
+BuildRequires:  texlive-latex
+BuildRequires:  texlive-makeindex
+BuildRequires:  texlive-metafont
+BuildRequires:  texlive-mfware
 
 
 %description
@@ -71,7 +85,6 @@ fi
 
 # Build with debug information
 sed -i 's/^OCAMLOPTFLAGS = -annot/& -g/' configure Makefile.config.in
-sed -i 's/\$(OCAMLMKLIB)/& -g/' Makefile
 
 %ifnarch %{ocaml_native_compiler}
 # Fix build on bytecode-only architectures
@@ -81,6 +94,11 @@ sed -i '/addprefix/s/OCAMLOPT/OCAMLC/g' Makefile
 
 
 %build
+# The ocaml tools (ocamlc, ocamlopt, ocamlmklib) already have Fedora LDFLAGS
+# baked in. The Makefile passes LDFLAGS directly to ocamlmklib, without -ldopt,
+# which is an error with OCaml 5.5.  This is the only flag we need.
+export LDFLAGS=-g
+
 # This is not an autoconf-generated script.  Do NOT use %%configure.
 ./configure \
 %ifnarch %{ocaml_native_compiler}
@@ -146,6 +164,10 @@ cp -p opam/opam $RPM_BUILD_ROOT%{ocamldir}/gmp
 
 
 %changelog
+* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 1.3.0-20
+- OCaml 5.5.0 rebuild
+- Build the manual with pdflatex instead of latex + dvipdf
+
 * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 1.3.0-19
 - OCaml 5.4.1 rebuild
 - Replace tex(ecrm1000.tfm) with texlive-ec