Compare commits

...

87 Commits
f16 ... 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
Fedora Release Engineering
047302c67f - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-01 16:47:37 +00:00
Richard W.M. Jones
2c808962e5 hevea now generates *.svg instead of *.gif (RHBZ#1664307). 2019-01-08 13:34:48 +00:00
Fedora Release Engineering
c230132a0f - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-13 14:41:47 +00:00
Richard W.M. Jones
9271f93776 OCaml 4.07.0 (final) rebuild. 2018-07-11 18:58:14 +01:00
Jitka Plesnikova
6515590049 Perl 5.28 rebuild 2018-06-29 22:09:34 +02:00
Richard W.M. Jones
42c26479e7 OCaml 4.07.0-rc1 rebuild. 2018-06-20 20:12:24 +01:00
Igor Gnatenko
1bf147915e
Remove %clean section
None of currently supported distributions need that.
Last one was EL5 which is EOL for a while.

Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
2018-02-14 08:26:32 +01:00
Fedora Release Engineering
695669a208 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-08 08:47:31 +00:00
Richard W.M. Jones
9f170b1cb2 BR ocaml-num 2017-11-22 15:15:48 +00:00
Richard W.M. Jones
877a4906d4 OCaml 4.06.0 rebuild.
Fixes for -safe-string.
Stop using opt macro.
Enable debuginfo on all architectures.
2017-11-22 15:00:05 +00:00
Richard W.M. Jones
7a43bc89c4 OCaml 4.06.0 rebuild. 2017-11-17 23:51:17 +00:00
Richard W.M. Jones
020a3086db OCaml 4.05.0 rebuild. 2017-08-08 20:37:54 +01:00
Fedora Release Engineering
87d798a94e - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 04:14:21 +00:00
Fedora Release Engineering
056902eda3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:26:53 +00:00
Richard W.M. Jones
3750df7647 OCaml 4.04.2 rebuild. 2017-06-27 12:50:34 +01:00
Jitka Plesnikova
f89ca0ab1f Perl 5.26 re-rebuild of bootstrapped packages 2017-06-07 23:29:07 +02:00
Richard W.M. Jones
eddd218fb0 Rebuild against ocamlfind 1.7.3. 2017-06-07 10:44:41 +01:00
Jitka Plesnikova
2aba94391d Perl 5.26 rebuild 2017-06-04 15:16:52 +02:00
Jitka Plesnikova
24c5fb41cb Fix building on Perl 5.26 2017-05-22 16:02:41 +02:00
Richard W.M. Jones
75168a5487 OCaml 4.04.1 rebuild. 2017-05-13 12:30:48 +01:00
Richard W.M. Jones
c351cd9d61 Fix compilation with GCC 7. 2017-02-14 13:05:35 +00:00
Fedora Release Engineering
3d2802ecc0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:30:10 +00:00
Richard W.M. Jones
afa6c2d8d4 Add explicit dependency on ocamlbuild. 2016-11-07 21:51:43 +00:00
Richard W.M. Jones
d148257dab Rebuild for OCaml 4.04.0. 2016-11-07 21:42:01 +00:00
Dan Horák
2f2f6e6f8b - disable debuginfo subpackage on interpreted builds 2016-10-19 16:51:24 +02:00
Petr Písař
3a6663ddfa Mandatory Perl build-requires added <https://fedoraproject.org/wiki/Changes/Build_Root_Without_Perl> 2016-06-24 10:01:01 +02:00
Jitka Plesnikova
1144e6ef68 Perl 5.24 rebuild 2016-05-17 05:01:02 +02:00
Fedora Release Engineering
81c7b5e2f1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:05:34 +00:00
Richard W.M. Jones
90f8bdf6f9 OCaml 4.02.3 rebuild. 2015-07-28 22:46:30 +01:00
Richard W.M. Jones
5f118e88ca Add patch for bytecode compilation, and enable on all arches. 2015-07-20 13:15:25 +01:00
Peter Robinson
2b1af4f36a Build on ARMv7 (rhbz 994968) as it seems to now be fixed 2015-06-29 14:04:57 +01:00
Richard W.M. Jones
eb7f02bba7 ocaml-4.02.2 final rebuild. 2015-06-24 22:34:42 +01:00
Richard W.M. Jones
f25c19ef28 ocaml-4.02.2 rebuild. 2015-06-18 13:33:29 +01:00
Dennis Gilmore
9a546c715d - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-17 23:33:15 +00:00
Jitka Plesnikova
63350c8275 Perl 5.22 rebuild 2015-06-06 17:52:33 +02:00
Richard W.M. Jones
cdb0ad1307 Make test suite advisory. Even upstream it does not work fully. 2015-02-17 15:00:19 +00:00
Richard W.M. Jones
f53b991eae ocaml-4.02.1 rebuild. 2015-02-17 14:29:43 +00:00
Jitka Plesnikova
a6a93c1af3 Perl 5.20 rebuild 2014-09-03 16:28:20 +02:00
Richard W.M. Jones
99b106474c ocaml-4.02.0 final rebuild. 2014-08-31 12:18:59 +01:00
Jitka Plesnikova
55112baf81 Perl 5.20 rebuild 2014-08-28 20:04:50 +02:00
Richard W.M. Jones
8e0a15c59d ocaml-4.02.0+rc1 rebuild. 2014-08-23 22:37:44 +01:00
Peter Robinson
85652fcffd - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-17 12:47:28 +00:00
Richard W.M. Jones
44e7c393bb ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. 2014-08-02 15:03:22 +01:00
Richard W.M. Jones
3352571902 OCaml 4.02.0 beta rebuild.
- Add patch from upstream to fix hang during build on 4.02.0.
2014-07-21 13:14:36 +01:00
Richard W.M. Jones
62b701ab71 OCaml 4.02.0 beta rebuild. 2014-07-21 11:46:48 +01:00
Richard W.M. Jones
c7fb709634 Fix Perl broken dependencies. 2014-06-19 10:43:17 +01:00
Richard W.M. Jones
11ac9179c3 Bump and rebuild to attempt to fix broken dependencies. 2014-06-12 10:34:01 +01:00
Dennis Gilmore
e94dca352f - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 10:33:26 -05:00
Richard W.M. Jones
43d95d473c Rebuild for OCaml 4.01.0.
- Enable debuginfo.
2013-09-14 16:24:26 +01:00
Richard W.M. Jones
1ee0079c82 ExcludeArch armv7hl (RHBZ#994968). 2013-09-03 13:06:49 +01:00
Gabriel Kerneis
bba9fbd600 New upstream version 1.7.3
- Use upstream make install target.
- Build and install documentation.
- Run test suite.
- Fix perl-related Provides and Requires for -cilly.
- Enable on arm and ppc (fixed by upstream ./configure).
- Apply two upstream patches to test suite.
2013-09-03 11:13:12 +01:00
Richard W.M. Jones
10d527af37 Disable on arm (not supported by upstream ./configure).
- Modernize the spec file.
2013-08-04 23:07:52 +01:00
Dennis Gilmore
d60521786f - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-03 09:49:48 -05:00
Petr Písař
da904e18a6 Perl 5.18 rebuild 2013-07-17 09:42:38 +02:00
Dennis Gilmore
55deceac13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-14 02:56:05 -06:00
Bruno Wolff III
a30e48290e Fix typo in last change 2012-12-02 01:26:24 -06:00
Bruno Wolff III
e6e1d7acbf Rebuild for ocaml 4.0.1 2012-12-02 01:25:31 -06:00
Dennis Gilmore
e89cd9e745 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-20 00:53:14 -05:00
Petr Písař
299e3e4474 Perl 5.16 rebuild 2012-06-28 14:51:27 +02:00
Richard W.M. Jones
bbdeca880e Rebuild for OCaml 4.00.0. 2012-06-10 23:47:38 +01:00
Petr Písař
4819cede24 Specify all Perl dependencies 2012-06-08 09:37:47 +02:00
Petr Písař
3037b8668e Perl 5.16 rebuild 2012-06-07 23:22:13 +02:00
Richard W.M. Jones
bbea72a876 New upstream version 1.4.0.
- Rebuild for OCaml 3.12.1.
2012-01-06 18:48:26 +00:00
14 changed files with 592 additions and 118 deletions

2
.gitignore vendored
View File

@ -1 +1 @@
cil-1.3.7.tar.gz
/cil-*.tar.gz

View File

@ -0,0 +1,33 @@
From: Gabriel Kerneis <gabriel@kerneis.info>
Date: Thu, 29 Aug 2013 09:30:23 +0100
Subject: Fix testsuite on 32-bit machines
---
test/small1/arrsize.c | 2 +-
test/testcil.pl | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/test/small1/arrsize.c b/test/small1/arrsize.c
index 6da8d0a..718b948 100755
--- a/test/small1/arrsize.c
+++ b/test/small1/arrsize.c
@@ -1,6 +1,6 @@
#include "testharness.h"
-#define MAXINT (1ull << ((8 * sizeof(int)) - 1))
+#define MAXINT (1ull << ((8 * sizeof(int)) - 2))
int g1[ MAXINT / sizeof(int) ];
char g2[ MAXINT / sizeof(char) ];
diff --git a/test/testcil.pl b/test/testcil.pl
index 778dfa7..dd814ed 100644
--- a/test/testcil.pl
+++ b/test/testcil.pl
@@ -569,6 +569,7 @@ addTest("merge-ar ");
addTest("testrun/sizeof1");
addTest("testrun/sizeof2");
addTest("test/sizeof3");
+addBadComment("test/sizeof3", "Bug. Constant-folding of very large arrays does not work on 32-bit machines.");
addTest("test/outofmem ");
addTest("testrun/builtin ");
addTest("test/builtin2 ");

View File

@ -0,0 +1,27 @@
From: Gabriel Kerneis <gabriel@kerneis.info>
Date: Thu, 29 Aug 2013 10:36:20 +0100
Subject: Do not fail testsuite on new gcc behaviour
Sometime between gcc 4.4 and gcc 4.7, the behaviour
of function attributes has changed such that
test/small2/regparm0.c does not compile anymore on 32-bit.
This is actually a good thing, since the previous behaviour
was quite confusing (although supported by CIL).
---
test/testcil.pl | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/test/testcil.pl b/test/testcil.pl
index dd814ed..560430a 100644
--- a/test/testcil.pl
+++ b/test/testcil.pl
@@ -620,7 +620,8 @@ addTest("scott/open $gcc");
addTest("scott/constfold");
addTest("scott/mode_sizes $gcc"); # mode(__QI__) stuff
addTest("scott-nolink/brlock $gcc");
-addTest("scott/regparm0 $gcc"); # this works, unfortunately... but the bug has been fixed nonetheless
+addTest("scott/regparm0 $gcc"); # this used to work, unfortunately... but the bug has been fixed in CIL (and now gcc)
+addBadComment("scott/regparm0", "Notbug. Not a bug if fails with gcc >= 4.7 on i386");
addTest("scott/unscomp"); # kernel/fs/buffer.c
addTest("scott/thing");

View File

@ -1,10 +0,0 @@
--- cil-1.3.7/Makefile.in.old 2011-01-07 15:25:13.579993796 +0000
+++ cil-1.3.7/Makefile.in 2011-01-07 15:25:16.430211605 +0000
@@ -121,7 +121,6 @@
@$(NARRATIVE) "Linking $(COMPILETOWHAT) $@ $(LINKMSG)"
$(AT)$(CAMLLINK) -verbose -o $@ \
$(CILLY_LIBS:%=%.$(CMXA)) \
- $(CILLY_LIBS:%=-cclib -l%) \
$^

View File

@ -1,14 +0,0 @@
diff -ur cil-1.3.7.orig/Makefile.in cil-1.3.7/Makefile.in
--- cil-1.3.7.orig/Makefile.in 2009-04-24 19:50:33.000000000 +0100
+++ cil-1.3.7/Makefile.in 2009-05-26 15:46:02.932947721 +0100
@@ -287,7 +287,9 @@
ifeq ($(NATIVECAML),1)
$(OBJDIR)/libcil.o: $(OCAML_CIL_LIB_CMODULES:%=$(OBJDIR)/lib%.a) \
$(OCAML_CIL_LIB_MODULES:%=$(OBJDIR)/%.$(CMO))
- ocamlopt -output-obj -o $@ $(CILLY_LIBS:%=%.cmxa) $^
+ ocamlopt -output-obj -o tmpcil.o $(CILLY_LIBS:%=%.cmxa) $^
+ ar rcs $@ tmpcil.o
+ rm -f tmpcil.o
else
$(OBJDIR)/libcil.o:
@echo "Can only build $@ when NATIVECAML is 1."

View File

@ -0,0 +1,21 @@
diff -up cil-1.7.3/doc/cilcode.pl.orig cil-1.7.3/doc/cilcode.pl
--- cil-1.7.3/doc/cilcode.pl.orig 2017-05-22 15:52:31.539144084 +0200
+++ cil-1.7.3/doc/cilcode.pl 2017-05-22 15:53:22.750818950 +0200
@@ -45,7 +45,7 @@ binmode STDOUT;
my $lineno = 0;
while(<>) {
$lineno ++;
- if(! $incode && $_ =~ m|^\\begin{cilcode}\[(.*)\](.*)$|) {
+ if(! $incode && $_ =~ m|^\\begin\{cilcode}\[(.*)\](.*)$|) {
$opt = $1;
$cil_options = $2;
$incode = 1;
@@ -60,7 +60,7 @@ while(<>) {
print "\\begin{code}\n";
next;
}
- if($incode && $_ =~ m|^\\end{cilcode}$|) {
+ if($incode && $_ =~ m|^\\end\{cilcode}$|) {
$incode = 0;
if($opt eq 'local') {
print TSTSRC $postambleLocal;

View File

@ -0,0 +1,8 @@
--- cil-1.7.3/lib/App/Cilly/CilConfig.pm.in.old 2014-06-19 10:41:10.532839228 +0100
+++ cil-1.7.3/lib/App/Cilly/CilConfig.pm.in 2014-06-19 10:41:23.988830828 +0100
@@ -1,3 +1,5 @@
+package App::Cilly::CilConfig;
+
$::cc = "@CC@";
$::exeext = "@EXEEXT@";
$::default_mode = "@DEFAULT_CIL_MODE@";

View File

@ -0,0 +1,11 @@
--- cil-1.7.3/myocamlbuild.ml.orig 2015-07-20 12:56:57.224597528 +0100
+++ cil-1.7.3/myocamlbuild.ml 2015-07-20 12:57:04.742605963 +0100
@@ -8,7 +8,7 @@
let dirs = include_dirs_of (dirname mllib) in
let modules = string_list_of_file mllib in
let make_candidates m =
- List.map (expand_module dirs m) [["cmi"]; ["cmx"]; ["mli"; "inferred.mli"]] in
+ List.map (expand_module dirs m) [["cmi"]; ["cmo"]; ["mli"; "inferred.mli"]] in
let dependencies = List.flatten (List.map make_candidates modules) in
let build_result = builder dependencies in
let built_files = List.filter_opt

View File

@ -0,0 +1,7 @@
--- cil-1.7.3/_tags~ 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3/_tags 2013-09-14 16:23:32.520889558 +0100
@@ -4,3 +4,4 @@
"test": not_hygienic
# build every cmo in debug mode (for cil.cma)
<**/*.cmo>: debug
+true: debug

11
cil-1.7.3-gcc-7.patch Normal file
View File

@ -0,0 +1,11 @@
--- cil-1.7.3/lib/App/Cilly.pm.in 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3.new/lib/App/Cilly.pm.in 2017-02-14 13:02:52.517194526 +0000
@@ -2220,7 +2220,7 @@
. join(' ', @{$self->{PPARGS}}) ." |")
|| die "Cannot start GNUCC";
while(<VER>) {
- if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(egcs-\d+\S+)|) {
+ if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(\d+)$| || $_ =~ m|^(egcs-\d+\S+)|) {
$cversion = "gcc_$1";
close(VER) || die "Cannot start GNUCC\n";
$self->{CVERSION} = $cversion;

120
cil-1.7.3-safe-string.patch Normal file
View File

@ -0,0 +1,120 @@
diff -ur cil-1.7.3.old/ocamlutil/errormsg.ml cil-1.7.3/ocamlutil/errormsg.ml
--- cil-1.7.3.old/ocamlutil/errormsg.ml 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3/ocamlutil/errormsg.ml 2017-11-22 14:55:09.549734942 +0000
@@ -210,23 +210,24 @@
let str1 =
if str <> "" && String.get str 0 = '"' (* '"' ( *)
then rem_quotes str else str in
- let l = String.length str1 in
+ let str1 = Bytes.of_string str1 in
+ let l = Bytes.length str1 in
let rec loop (copyto: int) (i: int) =
if i >= l then
- String.sub str1 0 copyto
+ Bytes.sub str1 0 copyto
else
- let c = String.get str1 i in
+ let c = Bytes.get str1 i in
if c <> '\\' then begin
- String.set str1 copyto c; loop (copyto + 1) (i + 1)
+ Bytes.set str1 copyto c; loop (copyto + 1) (i + 1)
end else begin
- String.set str1 copyto '/';
- if i < l - 2 && String.get str1 (i + 1) = '\\' then
+ Bytes.set str1 copyto '/';
+ if i < l - 2 && Bytes.get str1 (i + 1) = '\\' then
loop (copyto + 1) (i + 2)
else
loop (copyto + 1) (i + 1)
end
in
- loop 0 0
+ Bytes.to_string (loop 0 0)
let readingFromStdin = ref false
diff -ur cil-1.7.3.old/ocamlutil/pretty.ml cil-1.7.3/ocamlutil/pretty.ml
--- cil-1.7.3.old/ocamlutil/pretty.ml 2017-11-22 13:17:54.112327112 +0000
+++ cil-1.7.3/ocamlutil/pretty.ml 2017-11-22 14:56:24.658729757 +0000
@@ -725,8 +725,9 @@
invalid_arg ("dprintf: unimplemented format "
^ (String.sub format i (j-i+1)));
let j' = succ j in (* eat the d,i,x etc. *)
- let format_spec = "% " in
- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.of_string "% " in
+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.to_string format_spec in
Obj.magic(fun n ->
collect (dctext1 acc
(Int64.format format_spec n))
@@ -735,8 +736,9 @@
if j != i + 1 then invalid_arg ("dprintf: unimplemented format "
^ (String.sub format i (j-i+1)));
let j' = succ j in (* eat the d,i,x etc. *)
- let format_spec = "% " in
- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.of_string "% " in
+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.to_string format_spec in
Obj.magic(fun n ->
collect (dctext1 acc
(Int32.format format_spec n))
@@ -745,8 +747,9 @@
if j != i + 1 then invalid_arg ("dprintf: unimplemented format "
^ (String.sub format i (j-i+1)));
let j' = succ j in (* eat the d,i,x etc. *)
- let format_spec = "% " in
- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.of_string "% " in
+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *)
+ let format_spec = Bytes.to_string format_spec in
Obj.magic(fun n ->
collect (dctext1 acc
(Nativeint.format format_spec n))
diff -ur cil-1.7.3.old/src/cil.ml cil-1.7.3/src/cil.ml
--- cil-1.7.3.old/src/cil.ml 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3/src/cil.ml 2017-11-22 14:53:42.922740924 +0000
@@ -5033,19 +5033,19 @@
(* Take the name of a file and make a valid symbol name out of it. There are
* a few characters that are not valid in symbols *)
let makeValidSymbolName (s: string) =
- let s = String.copy s in (* So that we can update in place *)
- let l = String.length s in
+ let s = Bytes.of_string s in (* So that we can update in place *)
+ let l = Bytes.length s in
for i = 0 to l - 1 do
- let c = String.get s i in
+ let c = Bytes.get s i in
let isinvalid =
match c with
'-' | '.' -> true
| _ -> false
in
if isinvalid then
- String.set s i '_';
+ Bytes.set s i '_';
done;
- s
+ Bytes.to_string s
let rec addOffset (toadd: offset) (off: offset) : offset =
match off with
diff -ur cil-1.7.3.old/src/formatlex.mll cil-1.7.3/src/formatlex.mll
--- cil-1.7.3.old/src/formatlex.mll 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3/src/formatlex.mll 2017-11-22 14:52:59.217743941 +0000
@@ -145,11 +145,11 @@
* We convert L"Hi" to "H\000i\000" *)
let wbtowc wstr =
let len = String.length wstr in
- let dest = String.make (len * 2) '\000' in
+ let dest = Bytes.make (len * 2) '\000' in
for i = 0 to len-1 do
- dest.[i*2] <- wstr.[i] ;
+ Bytes.set dest (i*2) wstr.[i] ;
done ;
- dest
+ Bytes.to_string dest
(* This function converst the "Hi" in L"Hi" to { L'H', L'i', L'\0' } *)
let wstr_to_warray wstr =

11
ocaml-4.02.0.patch Normal file
View File

@ -0,0 +1,11 @@
--- a/ocamlutil/pretty.ml
+++ a/ocamlutil/pretty.ml
@@ -640,7 +640,7 @@ external format_float: string -> float -> string = "caml_format_float"
let gprintf (finish : doc -> 'b)
(format : ('a, unit, doc, 'b) format4) : 'a =
- let format = (Obj.magic format : string) in
+ let format = string_of_format format in
(* Record the starting align depth *)
let startAlignDepth = !alignDepth in

View File

@ -1,32 +1,48 @@
%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
%define debug_package %{nil}
# Prevent unwanted bytecode stripping by RPM.
%define __strip /bin/true
# Disable debuginfo because I cannot get -g passed to ocamlopt -a
%global debug_package %{nil}
Name: ocaml-cil
Version: 1.3.7
Release: 10%{?dist}
Version: 1.7.3
Release: 67%{?dist}
Summary: CIL - Infrastructure for C Program Analysis and Transformation
Group: Development/Libraries
License: BSD
URL: http://cil.sourceforge.net/
Source0: http://hal.cs.berkeley.edu/cil/distrib/cil-%{version}.tar.gz
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
ExcludeArch: ppc64
ExcludeArch: ppc
ExcludeArch: sparc64
ExcludeArch: s390 s390x
Patch0: cil-1.3.7-output-obj.patch
Patch1: cil-1.3.7-no-link-to-clib.patch
URL: https://github.com/cil-project/cil
Source0: https://github.com/cil-project/cil/archive/cil-%{version}.tar.gz
BuildRequires: ocaml, ocaml-findlib-devel, ocaml-ocamldoc
BuildRequires: make
BuildRequires: ocaml
BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib-devel
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-num-devel
%define _use_internal_dependency_generator 0
%define __find_requires /usr/lib/rpm/ocaml-find-requires.sh
%define __find_provides /usr/lib/rpm/ocaml-find-provides.sh
Patch0: 0001-Fix-testsuite-on-32-bit-machines.patch
Patch1: 0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch
# Enable ocamlopt -g.
Patch2: cil-1.7.3-enable-ocamlopt-g.patch
# Add package directive to App::Cilly::CilConfig so that perl
# dependencies are calculated properly.
Patch3: cil-1.7.3-add-package-cilconfig.patch
# Fix unsafe use of Obj.magic (upstream in > 1.7.3).
# https://bugzilla.redhat.com/show_bug.cgi?id=1120273
Patch4: ocaml-4.02.0.patch
# Fix for bytecode compilation (only apply this when !opt).
Patch5: cil-1.7.3-bytecode-compilation.patch
# Fix compilation with GCC 7.
# gcc -dumpversion prints just "7", adjust the regex accordingly.
Patch6: cil-1.7.3-gcc-7.patch
# Fix unescaped left brace in regex
Patch7: cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch
# Fixes for -safe-string in OCaml 4.06.
Patch8: cil-1.7.3-safe-string.patch
%description
CIL (C Intermediate Language) is a high-level representation along
@ -58,7 +74,6 @@ pointers.
%package devel
Summary: Development files for %{name}
Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
@ -69,8 +84,8 @@ developing applications that use %{name}.
%package doc
Summary: Documentation for %{name}
Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
BuildRequires: tex(latex), hevea
%description doc
@ -79,11 +94,25 @@ The %{name}-doc package contains documentation for users of %{name}.
%package cilly
Summary: Support programs for %{name}
Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
Provides: perl(CilConfig) = %{version}
Requires: perl(:MODULE_COMPAT_%(eval "`%{__perl} -V:version`"; echo $version))
# test and doc use cilly: Requires must also be BuildRequires
BuildRequires: perl-generators
BuildRequires: perl(Carp)
BuildRequires: perl(Data::Dumper)
BuildRequires: perl(File::Basename)
BuildRequires: perl(File::Copy)
BuildRequires: perl(File::Spec)
BuildRequires: perl(File::Temp)
BuildRequires: perl(FindBin)
BuildRequires: perl(lib)
BuildRequires: perl(strict)
BuildRequires: perl(Text::ParseWords)
# Some more dependencies used only for build and test
BuildRequires: perl(Getopt::Long)
BuildRequires: perl(ExtUtils::MakeMaker)
# Filter out wrong Provides (automatically generated)
%global __provides_exclude perl\\(AR|GNUCC|MSLIB|MSLINK|MSVC\\)
%description cilly
The %{name}-cilly package contains the 'cilly' wrapper/replacement
@ -92,112 +121,332 @@ for gcc.
%prep
%setup -q -n cil-%{version}
%patch0 -p1
%patch1 -p1
%patch2 -p1
%patch3 -p1
%patch4 -p1
%ifnarch %{ocaml_native_compiler}
%patch5 -p1
%endif
%patch6 -p1
%patch7 -p1
%patch8 -p1
%build
./configure --libdir=%{_libdir}
make RELEASE=1
make quicktest
cat > META <<EOF
version="%{version}"
description="%{summary}"
archive(byte)="cil.cma"
archive(native)="cil.cmxa"
requires=""
EOF
export PERL_MM_OPT=INSTALLDIRS=vendor
archos=`ls obj`
rm -f bin/CilConfig.pm
cat > bin/CilConfig.pm <<EOF
\$::archos = "$archos";
\$::cc = "gcc";
\$::cilhome = "%{_libexecdir}/cil";
\$::default_mode = "GNUCC";
EOF
strip obj/$archos/libcil.o
#strip obj/$archos/cilly.byte.exe - NO! It removes the bytecode :-(
%if %opt
strip obj/$archos/cilly.asm.exe
%endif
%configure
# make -j is broken, do not use it
unset MAKEFLAGS
make all doc
# Force build of bytecode version even if ocamlopt is available
make OCAMLBEST= bin/cilly.byte
%check
# Test suite is advisory. Even upstream it does not work fully.
make test ||:
%install
rm -rf $RPM_BUILD_ROOT
# This sets $archos to something like 'x86_LINUX':
archos=`ls obj`
export DESTDIR=$RPM_BUILD_ROOT
export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml
# CIL's make install rule is totally borked.
mkdir -p $DESTDIR%{perl_vendorlib}
install -m 0644 lib/*.pm bin/CilConfig.pm $DESTDIR%{perl_vendorlib}
mkdir -p $OCAMLFIND_DESTDIR
ocamlfind install cil META obj/$archos/*.{ml,mli,cmi,cmo,cmx,cma,cmxa,o,a} \
src/*.mli
make DESTDIR=$DESTDIR install
mkdir -p $DESTDIR%{_bindir}
install -m 0755 bin/cilly $DESTDIR%{_bindir}
# clean up .packlist
find $DESTDIR -name .packlist -type f -exec rm -f {} \;
mkdir -p $DESTDIR%{_libexecdir}/cil/obj/$archos
install -m 0755 obj/$archos/cilly.*.exe $DESTDIR%{_libexecdir}/cil/obj/$archos
mkdir -p $DESTDIR/etc/prelink.conf.d
echo '-b /usr/libexec/cil' > $DESTDIR/etc/prelink.conf.d/ocaml-cil-cilly.conf
%clean
rm -rf $RPM_BUILD_ROOT
# make install does not install documentation
# Copy documentation in doc/ocaml-cil, avoiding spurious files not cleaned up by
# CIL
mkdir -p doc/ocaml-cil/html
cp -r doc/html/cil/api doc/ocaml-cil/html
cp -r doc/html/cil/examples doc/ocaml-cil/html
cp doc/html/cil/*.html doc/ocaml-cil/html/
cp doc/html/cil/*.css doc/ocaml-cil/html/
cp doc/html/cil/*.svg doc/ocaml-cil/html/
cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf
%files
%defattr(-,root,root,-)
%doc README LICENSE
%doc README.md LICENSE
%{_libdir}/ocaml/cil
%if %opt
%ifarch %{ocaml_native_compiler}
%exclude %{_libdir}/ocaml/cil/*.a
%exclude %{_libdir}/ocaml/cil/*.cmxa
%exclude %{_libdir}/ocaml/cil/*.cmx
%endif
%exclude %{_libdir}/ocaml/cil/*.mli
%exclude %{_libdir}/ocaml/cil/*.ml
%files devel
%defattr(-,root,root,-)
%doc README LICENSE
%if %opt
%doc README.md LICENSE
%ifarch %{ocaml_native_compiler}
%{_libdir}/ocaml/cil/*.a
%{_libdir}/ocaml/cil/*.cmxa
%{_libdir}/ocaml/cil/*.cmx
%endif
%{_libdir}/ocaml/cil/*.mli
%{_libdir}/ocaml/cil/*.ml
%files doc
%defattr(-,root,root,-)
%doc README LICENSE doc/*
%doc README.md LICENSE doc/ocaml-cil/*
%files cilly
%defattr(-,root,root,-)
%doc README LICENSE
%{perl_vendorlib}/CilConfig.pm
%{perl_vendorlib}/Cilly.pm
%{perl_vendorlib}/KeptFile.pm
%{perl_vendorlib}/OutputFile.pm
%{perl_vendorlib}/TempFile.pm
%{_bindir}/cilly
%{_libexecdir}/cil
%config(noreplace) /etc/prelink.conf.d/ocaml-cil-cilly.conf
%doc README.md LICENSE
%dir %{perl_vendorlib}/App
%{perl_vendorlib}/App/Cilly
%{perl_vendorlib}/App/Cilly.pm
%{_bindir}/cilly*
%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
* Tue Jan 08 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-45
- hevea now generates *.svg instead of *.gif (RHBZ#1664307).
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-44
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-43
- OCaml 4.07.0 (final) rebuild.
* Fri Jun 29 2018 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-42
- Perl 5.28 rebuild
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-41
- OCaml 4.07.0-rc1 rebuild.
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-40
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Nov 22 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-39
- OCaml 4.06.0 rebuild.
- Fixes for -safe-string.
- Stop using opt macro.
- Enable debuginfo on all architectures.
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-38
- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-37
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-36
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-35
- OCaml 4.04.2 rebuild.
* Wed Jun 07 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-34
- Perl 5.26 re-rebuild of bootstrapped packages
* Wed Jun 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-33
- Rebuild against ocamlfind 1.7.3.
* Sun Jun 04 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-32
- Perl 5.26 rebuild
* Mon May 22 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-31
- Fix unescaped left brace in regex
* Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-30
- OCaml 4.04.1 rebuild.
* Tue Feb 14 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-29
- Fix compilation with GCC 7.
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-28
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-27
- Rebuild for OCaml 4.04.0.
- Add explicit dependency on ocamlbuild.
* Wed Oct 19 2016 Dan Horák <dan[at]danny.cz> - 1.7.3-26
- disable debuginfo subpackage on interpreted builds
* Tue May 17 2016 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-25
- Perl 5.24 rebuild
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-24
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-23
- OCaml 4.02.3 rebuild.
* Mon Jul 20 2015 Richard W.M. Jones <rjones@redhat.com> 1.7.3-22
- Add patch for bytecode compilation, and enable on all arches.
* Mon Jun 29 2015 Peter Robinson <pbrobinson@fedoraproject.org> 1.7.3-21
- Build on ARMv7 (rhbz 994968) as it seems to now be fixed
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-20
- ocaml-4.02.2 final rebuild.
* Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-19
- ocaml-4.02.2 rebuild.
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Jun 06 2015 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-17
- Perl 5.22 rebuild
* Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-16
- ocaml-4.02.1 rebuild.
- Make test suite advisory. Even upstream it does not work fully.
* Wed Sep 03 2014 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-14
- Perl 5.20 rebuild
* Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-13
- ocaml-4.02.0 final rebuild.
* Thu Aug 28 2014 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-12
- Perl 5.20 rebuild
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-11
- ocaml-4.02.0+rc1 rebuild.
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-9
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Mon Jul 21 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-8
- OCaml 4.02.0 beta rebuild.
- Add patch from upstream to fix hang during build on 4.02.0.
* Thu Jun 19 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-6
- Fix Perl broken dependencies.
* Thu Jun 12 2014 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-5
- Bump and rebuild to attempt to fix broken dependencies.
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7.3-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-3
- Rebuild for OCaml 4.01.0.
- Enable debuginfo.
* Tue Sep 3 2013 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-2
- ExcludeArch armv7hl (RHBZ#994968).
* Fri Aug 30 2013 Gabriel Kerneis <gabriel@kerneis.info> - 1.7.3-1
- New upstream version 1.7.3.
- Use upstream make install target.
- Build and install documentation.
- Run test suite.
- Fix perl-related Provides and Requires for -cilly.
- Enable on arm and ppc (fixed by upstream ./configure).
- Apply two upstream patches to test suite.
* Sun Aug 4 2013 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-10
- Disable on arm (not supported by upstream ./configure).
- Modernize the spec file.
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed Jul 17 2013 Petr Pisar <ppisar@redhat.com> - 1.4.0-8
- Perl 5.18 rebuild
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Sun Dec 02 2012 Bruno Wolff III <bruno@wolff.to> - 1.4.0-6
- Rebuild for ocaml 4.0.1.
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4.0-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Thu Jun 28 2012 Petr Pisar <ppisar@redhat.com> - 1.4.0-4
- Perl 5.16 rebuild
* Sun Jun 10 2012 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-3
- Rebuild for OCaml 4.00.0.
* Thu Jun 07 2012 Petr Pisar <ppisar@redhat.com> - 1.4.0-2
- Perl 5.16 rebuild
- Specify all Perl dependencies
* Fri Jan 6 2012 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-1
- New upstream version 1.4.0.
- Rebuild for OCaml 3.12.1.
* Mon Jun 20 2011 Marcela Mašláňová <mmaslano@redhat.com> - 1.3.7-10
- Perl mass rebuild

View File

@ -1 +1 @@
e0e3ce3b04c0d9cccf98381feb6d89de cil-1.3.7.tar.gz
dffd5ee8f812b86b5352583c223ef6e6 cil-1.7.3.tar.gz