https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vries at gcc dot gnu.org
--- Comment #9 from vries at gcc dot gnu.org ---
(In reply to Richard Biener from comment #6)
> "Fixed". (or invalid, just depends how you interpret it ;))
>
> -> make the cloog folks have the bundled ISL produce a sensible isl_version
> ()
> output would be a better "fix", of course ;)
>
> Tobias? (not sure, maybe cloog 0.18.1 is fixed in this regard, 0.18.0
> definitely wasn't)
$ for d in cloog-*; do echo -n "$d: "; if [ -f $d/isl/GIT_HEAD_ID ]; then cat
$d/isl/GIT_HEAD_ID; else echo missing; fi; done
cloog-0.16.0: isl-0.05
cloog-0.16.1: isl-0.05.1
cloog-0.16.2: isl-0.06
cloog-0.16.3: isl-0.07
cloog-0.17.0: isl-0.08-60-g60518c5
cloog-0.18.0: missing
cloog-0.18.1: missing
cloog-0.18.2: UNKNOWN
cloog-0.18.3: isl-0.14
cloog-0.18.4: isl-0.15
