Compare commits

...

24 Commits
f30 ... rawhide

Author SHA1 Message Date
Richard W.M. Jones
7548c9e05a OCaml 4.12.0 build 2021-03-01 17:26:08 +00:00
Fedora Release Engineering
9039f8d291 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 21:54:49 +00:00
Tom Stellard
c0b690b7c1 Add BuildRequires: make
https://fedoraproject.org/wiki/Changes/Remove_make_from_BuildRoot
2021-01-07 06:11:17 +00:00
Richard W.M. Jones
10e582b768 OCaml 4.11.1 rebuild 2020-09-01 20:15:24 +01:00
Richard W.M. Jones
1b960b04ea OCaml 4.11.0 rebuild 2020-08-21 12:11:52 +01:00
Richard W.M. Jones
1073c954b8 Give up and disable debuginfo for now. 2020-08-03 22:12:00 +01:00
Richard W.M. Jones
c09fd5d5b2 Simpler way to enable -g (also enables it for executables). 2020-08-03 21:57:41 +01:00
Fedora Release Engineering
c1c952f152 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-08-01 06:36:15 +00:00
Fedora Release Engineering
0d338b387d - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 12:07:10 +00:00
Jitka Plesnikova
2bb9668240 Perl 5.32 rebuild 2020-06-25 15:11:00 +02:00
Richard W.M. Jones
9b5c36f2b2 OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 00:00:54 +01:00
Richard W.M. Jones
7bb6e40b71 OCaml 4.11.0 pre-release attempt 2 2020-04-21 17:08:36 +01:00
Richard W.M. Jones
2ff83914d3 OCaml 4.11.0 pre-release 2020-04-17 21:35:28 +01:00
Richard W.M. Jones
a7bda7b1f4 Update all OCaml dependencies for RPM 4.16. 2020-04-03 13:38:15 +01:00
Richard W.M. Jones
9f7b519ff7 OCaml 4.10.0 final. 2020-02-26 16:25:10 +00:00
Fedora Release Engineering
fbb8d56dd0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-29 19:31:57 +00:00
Richard W.M. Jones
f17b4c66eb OCaml 4.10.0+beta1 rebuild. 2020-01-19 22:29:02 +00:00
Richard W.M. Jones
38015314d3 OCaml 4.09.0 (final) rebuild. 2019-12-06 15:34:34 +00:00
Richard W.M. Jones
5e37e94370 OCaml 4.08.1 (final) rebuild. 2019-08-16 17:41:52 +01:00
Richard W.M. Jones
c98860e05b OCaml 4.08.1 (rc2) rebuild. 2019-07-31 19:11:45 +01:00
Fedora Release Engineering
4ecdc62a9a - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-25 22:50:01 +00:00
Richard W.M. Jones
bc73b4cfd9 OCaml 4.08.0 (final) rebuild. 2019-06-27 21:31:14 +01:00
Jitka Plesnikova
7631427c70 Perl 5.30 rebuild 2019-06-01 20:21:01 +02:00
Richard W.M. Jones
7425ea968f OCaml 4.08.0 (beta 3) rebuild. 2019-04-29 20:33:07 +01:00
2 changed files with 70 additions and 2 deletions

View File

@ -4,4 +4,4 @@
"test": not_hygienic
# build every cmo in debug mode (for cil.cma)
<**/*.cmo>: debug
+<**/*.cmx>: debug
+true: debug

View File

@ -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