|
|
|
@ -1,12 +1,16 @@
|
|
|
|
|
# Disable debuginfo because I cannot get -g passed to ocamlopt -a
|
|
|
|
|
%global debug_package %{nil}
|
|
|
|
|
|
|
|
|
|
Name: ocaml-cil
|
|
|
|
|
Version: 1.7.3
|
|
|
|
|
Release: 46%{?dist}
|
|
|
|
|
Release: 67%{?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
|
|
|
|
@ -201,6 +205,70 @@ 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
|
|
|
|
|
|
|
|
|
|