ocaml-cil/cil-1.7.3-gcc-7.patch

12 lines
550 B
Diff

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