Tobias, Do we have cmake flags to set with -D that will allow polly to build as isl-only (with using cloog) yet? Thanks in advance for any info. Jack