2 changed files with 2 additions and 70 deletions
--- a/cil-1.7.3-enable-ocamlopt-g.patch
+++ b/cil-1.7.3-enable-ocamlopt-g.patch
@ -4,4 +4,4 @@
 "test": not_hygienic
 # build every cmo in debug mode (for cil.cma)
 <**/*.cmo>: debug
-+true: debug
+<**/*.cmx>: debug
--- a/ocaml-cil.spec
+++ b/ocaml-cil.spec
@ -1,16 +1,12 @@
-# Disable debuginfo because I cannot get -g passed to ocamlopt -a
-%global debug_package %{nil}
-
 Name:           ocaml-cil
 Version:        1.7.3
-Release:        67%{?dist}
+Release:        46%{?dist}
 Summary:        CIL - Infrastructure for C Program Analysis and Transformation
 License:        BSD

 URL:            https://github.com/cil-project/cil
 Source0:        https://github.com/cil-project/cil/archive/cil-%{version}.tar.gz

-BuildRequires: make
 BuildRequires:  ocaml
 BuildRequires:  ocaml-ocamlbuild
 BuildRequires:  ocaml-findlib-devel
@ -205,70 +201,6 @@ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf


 %changelog
-* Mon Mar  1 17:26:07 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-67
- OCaml 4.12.0 build
-
-* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
-
-* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65
- OCaml 4.11.1 rebuild
-
-* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-64
- OCaml 4.11.0 rebuild
-
-* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-63
- Second attempt - Rebuilt for
-  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-62
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Thu Jun 25 2020 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-61
- Perl 5.32 rebuild
-
-* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-60
- OCaml 4.11.0+dev2-2020-04-22 rebuild
-
-* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-59
- OCaml 4.11.0 pre-release attempt 2
-
-* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-58
- OCaml 4.11.0 pre-release
-
-* Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-57
- Update all OCaml dependencies for RPM 4.16.
-
-* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-56
- OCaml 4.10.0 final.
-
-* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-55
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
-
-* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-54
- OCaml 4.10.0+beta1 rebuild.
-
-* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-53
- OCaml 4.09.0 (final) rebuild.
-
-* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-52
- OCaml 4.08.1 (final) rebuild.
-
-* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-51
- OCaml 4.08.1 (rc2) rebuild.
-
-* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-50
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
-
-* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-49
- OCaml 4.08.0 (final) rebuild.
-
-* Sat Jun 01 2019 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-48
- Perl 5.30 rebuild
-
-* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-47
- OCaml 4.08.0 (beta 3) rebuild.
-
 * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-46
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild