configure.ac: explicitly set --with-isl=build for subdir configures
treee28443f062347f81679f375ab779dfc18ac2bb29
-rw-r--r-- 350 .gitignore
-rw-r--r-- 124 .gitmodules
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 969 Makefile.am
-rw-r--r-- 1771 README
-rwxr-xr-x 142 autogen.sh
-rw-r--r-- 1575 configure.ac
-rw-r--r-- 10697 cpu.c
-rw-r--r-- 205 cpu.h
-rw-r--r-- 20898 cuda.c
-rw-r--r-- 191 cuda.h
-rw-r--r-- 1830 cuda_common.c
-rw-r--r-- 275 cuda_common.h
-rw-r--r-- 140904 gpu.c
-rw-r--r-- 5220 gpu.h
m--------- - isl
drwxr-xr-x - m4
m--------- - pet
-rw-r--r-- 2607 pet_printer.c
-rw-r--r-- 306 pet_printer.h
-rw-r--r-- 1738 ppcg.c
-rw-r--r-- 1372 ppcg_options.c
-rw-r--r-- 554 ppcg_options.h
-rw-r--r-- 1518 rewrite.c
-rw-r--r-- 168 rewrite.h
-rw-r--r-- 5335 schedule.c
-rw-r--r-- 1162 schedule.h
-rw-r--r-- 85 version.c