# OCaml packages not built on i686 since OCaml 5 / Fedora 39. ExcludeArch: %{ix86} # Whether to build the manual %if 0%{?rhel} %bcond_with manual %else %bcond_without manual %endif Name: ocaml-menhir Version: 20230608 Release: 3%{?dist} Summary: LR(1) parser generator for OCaml # The generator is GPL-2.0-only License: GPL-2.0-only URL: https://gallium.inria.fr/~fpottier/menhir/ Source0: https://gitlab.inria.fr/fpottier/menhir/-/archive/%{version}/menhir-%{version}.tar.bz2 BuildRequires: ocaml BuildRequires: ocaml-dune %if %{with manual} BuildRequires: ImageMagick BuildRequires: hevea BuildRequires: tex(latex) BuildRequires: tex(comment.sty) BuildRequires: tex(moreverb.sty) %endif Provides: bundled(ocaml-fix) = 20230505 Provides: bundled(ocaml-pprint) = 20211129 Requires: ocaml-menhirlib-devel%{?_isa} = %{version}-%{release} # This can be removed when F40 reaches EOL Obsoletes: ocaml-menhir-doc < 20220210-3 # This can be removed when F42 reaches EOL Obsoletes: coq-menhirlib < 20230608-1 %description Menhir is a LR(1) parser generator for the Objective Caml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by François Pottier and Yann Régis-Gianas. %package -n ocaml-menhirlib Summary: Runtime library for parsers produced by Menhir # The library is LGPL-2.0-only with a linking exception. License: LGPL-2.0-only WITH OCaml-LGPL-linking-exception %description -n ocaml-menhirlib This package contains the runtime library for parsers produced by Menhir. %package -n ocaml-menhirlib-devel Summary: Development files for ocaml-menhirlib # The library is LGPL-2.0-only with a linking exception. License: LGPL-2.0-only WITH OCaml-LGPL-linking-exception Requires: ocaml-menhirlib%{?_isa} = %{version}-%{release} %description -n ocaml-menhirlib-devel This ocaml-menhirlib-devel package contains libraries and signature files for building applications with a parser produced by Menhir. %prep %autosetup -n menhir-%{version} %build %dune_build %if %{with manual} cd doc rm manual.pdf pdflatex manual bibtex manual pdflatex manual pdflatex manual cd - %endif %install %dune_install -s # We do not install *.ml files by default, but this one is needed cp -p _build/default/lib/pack/menhirLib.ml %{buildroot}%{ocamldir}/menhirLib # Even though coq is disabled, dune still puts a META file and dune-package here rm -rf %{buildroot}%{ocamldir}/coq-menhirlib/ %files %if %{with manual} %doc doc/manual.pdf %endif %license LICENSE %{_bindir}/menhir %{_mandir}/man1/menhir.1* %{ocamldir}/menhir/ %{ocamldir}/menhirSdk/ %files -n ocaml-menhirlib -f .ofiles-menhirLib %license LICENSE %files -n ocaml-menhirlib-devel -f .ofiles-menhirLib-devel %{ocamldir}/menhirLib/menhirLib.ml %changelog * Thu Jul 20 2023 Fedora Release Engineering - 20230608-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 11 2023 Richard W.M. Jones - 20230608-2 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James - 20230608-1 - Version 20230608 - Stop building the coq-menhirlib subpackage * Sat Apr 1 2023 Jerry James - 20220210-14 - Rebuild for coq 8.17.0 * Tue Jan 24 2023 Richard W.M. Jones - 20220210-13 - Bump release and rebuild * Tue Jan 24 2023 Richard W.M. Jones - 20220210-12 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering - 20220210-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 26 2022 Jerry James - 20220210-10 - Rebuild for coq 8.16.1 * Fri Sep 16 2022 Jerry James - 20220210-9 - Rebuild for coq 8.16.0 * Thu Aug 18 2022 Jerry James - 20220210-8 - Rebuild to fix coq dependency - Convert License tags to SPDX * Fri Jul 22 2022 Fedora Release Engineering - 20220210-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 19 2022 Jerry James - 20220210-6 - Do not build the coq-menhirlib package on i686 - Use new OCaml macros * Sun Jun 19 2022 Richard W.M. Jones - 20220210-6 - OCaml 4.14.0 rebuild * Sat Mar 26 2022 Jerry James - 20220210-4 - Rebuild for coq 8.15.1 * Tue Mar 1 2022 Jerry James - 20220210-3 - Skip building the manual for EPEL - Remove odoc support * Mon Feb 28 2022 Jerry James - 20220210-2 - Build with coq support * Thu Feb 24 2022 Jerry James - 20220210-1 - Version 20220210 - Note the bundling of fix and pprint * Fri Feb 04 2022 Richard W.M. Jones - 20211230-3 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering - 20211230-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James - 20211230-1 - Version 20211230 * Mon Dec 27 2021 Jerry James - 20211223-1 - Version 20211223 * Tue Nov 30 2021 Jerry James - 20211128-1 - Version 20211128 * Thu Oct 21 2021 Jerry James - 20211012-1 - Version 20211012 * Tue Oct 05 2021 Richard W.M. Jones - 20210929-3 - Bump release and rebuild. * Tue Oct 05 2021 Richard W.M. Jones - 20210929-2 - OCaml 4.13.1 build * Mon Oct 4 2021 Jerry James - 20210929-1 - Version 20210929 * Thu Jul 22 2021 Fedora Release Engineering - 20210419-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jun 8 2021 Jerry James - 20210419-1 - Version 20210419 * Wed Mar 3 2021 Jerry James - 20201216-3 - Rebuild for coq 8.13.1 * Tue Mar 2 11:03:46 GMT 2021 Richard W.M. Jones - 20201216-2 - OCaml 4.12.0 build * Wed Feb 24 2021 Jerry James - 20201216-1 - Version 20201216 - Some applications of menhir require menhirLib.ml, so install it * Tue Jan 26 2021 Fedora Release Engineering - 20201201-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Dec 23 2020 Jerry James - 20201201-2 - Rebuild for coq 8.12.2 * Wed Dec 2 2020 Jerry James - 20201201-1 - Version 20201201 * Tue Sep 01 2020 Richard W.M. Jones - 20200624-3 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones - 20200624-2 - OCaml 4.11.0 rebuild * Thu Aug 6 2020 Jerry James - 20200624-1 - Version 20200624 * Sat Aug 01 2020 Fedora Release Engineering - 20200612-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering - 20200612-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jun 15 2020 Jerry James - 20200612-1 - Version 20200612 * Wed May 20 2020 Jerry James - 20200211-6 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones - 20200211-5 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Wed Apr 22 2020 Richard W.M. Jones - 20200211-4 - OCaml 4.11.0 pre-release attempt 2 * Thu Apr 02 2020 Richard W.M. Jones - 20200211-3 - Re-enable Coq bindings after OCaml bootstrap. * Thu Apr 02 2020 Richard W.M. Jones - 20200211-2 - Update all OCaml dependencies for RPM 4.16. * Wed Mar 25 2020 Jerry James - 20200211-1 - Version 20200211 - Dune is now used to build the package - Split the build-time and runtime parts into separate packages * Wed Feb 26 2020 Richard W.M. Jones - 20190924-9 - OCaml 4.10.0 final. - Disable Coq for 4.10.0 build. * Wed Jan 29 2020 Fedora Release Engineering - 20190924-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James - 20190924-7 - Reenable coq support - Add coq-menhirlib subpackage, without which coq support is rather pointless * Sun Jan 19 2020 Richard W.M. Jones - 20190924-6 - OCaml 4.10.0+beta1 rebuild. * Sun Jan 19 2020 Richard W.M. Jones - 20190924-5 - Disable coq for now. * Fri Dec 06 2019 Richard W.M. Jones - 20190924-4 - Bump release and rebuild. * Thu Dec 05 2019 Richard W.M. Jones - 20190924-3 - Bump release and rebuild. * Thu Dec 05 2019 Richard W.M. Jones - 20190924-2 - OCaml 4.09.0 (final) rebuild. * Tue Sep 24 2019 Jerry James - 20190924-1 - New upstream version - BR coq to get coq_makefile * Fri Aug 16 2019 Richard W.M. Jones - 20190626-4 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones - 20190626-3 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering - 20190626-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Jul 12 2019 Jerry James - 20190626-1 - New upstream version * Thu Jun 27 2019 Richard W.M. Jones - 20190620-2 - OCaml 4.08.0 (final) rebuild. * Wed Jun 26 2019 Jerry James - 20190620-1 - New upstream version * Tue Jun 18 2019 Jerry James - 20190613-1 - New upstream version * Mon Apr 29 2019 Richard W.M. Jones - 20181113-4 - OCaml 4.08.0 (beta 3) rebuild. * Tue Mar 26 2019 Jerry James - 20181113-3 - Add missing R on ocamlfind (bz 1692434) * Fri Feb 01 2019 Fedora Release Engineering - 20181113-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Nov 14 2018 Jerry James - 20181113-1 - New upstream version - New source URL * Mon Oct 22 2018 Jerry James - 20181006-1 - New upstream version - Ship libraries in the main package * Thu Sep 27 2018 Jerry James - 20180905-1 - New upstream version * Fri Jul 13 2018 Fedora Release Engineering - 20180530-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones - 20180530-3 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 20180530-2 - OCaml 4.07.0-rc1 rebuild. * Wed Jun 6 2018 Jerry James - 20180530-1 - New upstream version * Thu Feb 08 2018 Fedora Release Engineering - 20171222-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Dec 23 2017 Jerry James - 20171222-1 - New upstream version * Sat Dec 9 2017 Jerry James - 20171206-1 - New upstream version * Wed Nov 08 2017 Richard W.M. Jones - 20170712-5 - OCaml 4.06.0 rebuild. * Mon Aug 07 2017 Richard W.M. Jones - 20170712-4 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering - 20170712-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering - 20170712-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Sat Jul 15 2017 Jerry James - 20170712-1 - New upstream version - Build the manual from LaTeX sources * Mon Jun 26 2017 Richard W.M. Jones - 20170607-2 - OCaml 4.04.2 rebuild. * Sat Jun 10 2017 Jerry James - 20170607-1 - New upstream version * Fri May 19 2017 Jerry James - 20170509-1 - New upstream version - License change: QPL with exceptions to GPLv2 * Fri May 12 2017 Richard W.M. Jones - 20170101-3 - OCaml 4.04.1 rebuild. * Sat Feb 11 2017 Fedora Release Engineering - 20170101-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Jan 2 2017 Jerry James - 20170101-1 - New upstream version * Tue Nov 15 2016 Jerry James - 20161115-1 - New upstream version * Mon Nov 14 2016 Jerry James - 20161114-1 - New upstream version * Sat Nov 05 2016 Richard W.M. Jones - 20160825-2 - Rebuild for OCaml 4.04.0. - Add explicit dep on ocamlbuild. * Sat Aug 27 2016 Jerry James - 20160825-1 - New upstream version * Mon Jul 4 2016 Jerry James - 20160526-1 - New upstream version * Thu May 12 2016 Jerry James - 20160504-1 - New upstream version * Thu Mar 3 2016 Jerry James - 20160303-1 - New upstream version * Thu Feb 04 2016 Fedora Release Engineering - 20151112-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Thu Nov 12 2015 Jerry James - 20151112-1 - New upstream version * Mon Oct 26 2015 Jerry James - 20151026-1 - New upstream version * Sat Oct 24 2015 Jerry James - 20151023-1 - New upstream version * Wed Oct 14 2015 Jerry James - 20151012-1 - New upstream version * Fri Oct 9 2015 Jerry James - 20151005-1 - New upstream version * Sat Sep 19 2015 Jerry James - 20150914-1 - New upstream version * Tue Jul 28 2015 Richard W.M. Jones - 20141215-5 - OCaml 4.02.3 rebuild. * Wed Jun 24 2015 Richard W.M. Jones - 20141215-4 - ocaml-4.02.2 final rebuild. * Wed Jun 17 2015 Richard W.M. Jones - 20141215-3 - ocaml-4.02.2 rebuild. * Tue Feb 17 2015 Richard W.M. Jones - 20141215-2 - ocaml-4.02.1 rebuild. * Mon Jan 5 2015 Jerry James - 20141215-1 - New upstream version * Sun Aug 31 2014 Richard W.M. Jones - 20140422-7 - ocaml-4.02.0 final rebuild. * Sat Aug 23 2014 Richard W.M. Jones - 20140422-6 - ocaml-4.02.0+rc1 rebuild. * Sun Aug 17 2014 Fedora Release Engineering - 20140422-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Mon Aug 4 2014 Jerry James - 20140422-4 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. - Fix license handling * Mon Jul 21 2014 Jerry James - 20140422-3 - OCaml 4.02.0 beta rebuild * Sat Jun 07 2014 Fedora Release Engineering - 20140422-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Wed Apr 30 2014 Jerry James - 20140422-1 - New upstream version - Fix standard.mly character encoding * Fri Apr 18 2014 Jerry James - 20130911-3 - Remove ocaml_arches macro (bz 1087794) * Mon Sep 16 2013 Jerry James - 20130911-2 - Rebuild for OCaml 4.01.0 * Thu Sep 12 2013 Jerry James - 20130911-1 - New upstream version - Allow debuginfo generation since ocaml 4 supports it * Sat Aug 03 2013 Fedora Release Engineering - 20130116-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Thu Feb 14 2013 Fedora Release Engineering - 20130116-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Jan 21 2013 Jerry James - 20130116-1 - New upstream version * Wed Oct 17 2012 Jerry James - 20120123-5 - Rebuild for OCaml 4.00.1. * Fri Jul 20 2012 Fedora Release Engineering - 20120123-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Mon Jun 11 2012 Richard W.M. Jones - 20120123-3 - Rebuild for OCaml 4.00.0. * Fri Jun 8 2012 Jerry James - 20120123-2 - Rebuild for OCaml 4.00.0 * Mon Jan 23 2012 Jerry James - 20120123-1 - New upstream version * Fri Jan 6 2012 Jerry James - 20111019-3 - Rebuild for ocaml 3.12.1 * Mon Dec 19 2011 Jerry James - 20111019-2 - Change the subpackages to match Debian - Add patch to allow building demos outside of the menhir source tree * Wed Nov 9 2011 Jerry James - 20111019-1 - Initial RPM