store autodetect option in a separate pet_options structure
treebda75db74d9325ddf78bd57c30d8fee11881e59c
-rw-r--r-- 169 .gitignore
-rw-r--r-- 62 .gitmodules
-rw-r--r-- 1464 Makefile.am
-rw-r--r-- 310 README
-rwxr-xr-x 83 autogen.sh
-rw-r--r-- 3331 configure.ac
-rw-r--r-- 10378 emit.c
drwxr-xr-x - include
m--------- - isl
drwxr-xr-x - m4
-rw-r--r-- 2446 main.cc
-rw-r--r-- 2072 options.c
-rw-r--r-- 234 options.h
-rw-r--r-- 13222 parse.c
-rw-r--r-- 19119 pet.cc
-rw-r--r-- 2783 pet_scop_cmp.c
-rw-r--r-- 179 pet_test.sh.in
-rw-r--r-- 72228 scan.cc
-rw-r--r-- 6267 scan.h
-rw-r--r-- 41195 scop.c
-rw-r--r-- 2234 scop.h
-rw-r--r-- 2980 scop_plus.cc
-rw-r--r-- 215 scop_plus.h
-rw-r--r-- 285 scop_yaml.h
drwxr-xr-x - tests