configure.ac: remove explicit dependence on gmp
tree953b7fe15ab62fd39855890fece7cf069252023b
-rw-r--r-- 169 .gitignore
-rw-r--r-- 62 .gitmodules
-rw-r--r-- 603 ChangeLog
-rw-r--r-- 2187 Makefile.am
-rw-r--r-- 2542 README
-rwxr-xr-x 83 autogen.sh
-rw-r--r-- 464 codegen_test.sh.in
-rw-r--r-- 8104 configure.ac
-rw-r--r-- 14944 emit.c
drwxr-xr-x - include
m--------- - isl
drwxr-xr-x - m4
-rw-r--r-- 2568 main.c
-rw-r--r-- 2955 options.c
-rw-r--r-- 494 options.h
-rw-r--r-- 20966 parse.c
-rw-r--r-- 29318 pet.cc
-rw-r--r-- 18081 pet_check_code.c
-rw-r--r-- 8383 pet_codegen.c
-rw-r--r-- 2783 pet_scop_cmp.c
-rw-r--r-- 179 pet_test.sh.in
-rw-r--r-- 12879 print.c
-rw-r--r-- 189 print.h
-rw-r--r-- 146835 scan.cc
-rw-r--r-- 8850 scan.h
-rw-r--r-- 107348 scop.c
-rw-r--r-- 5465 scop.h
-rw-r--r-- 3283 scop_plus.cc
-rw-r--r-- 215 scop_plus.h
-rw-r--r-- 285 scop_yaml.h
drwxr-xr-x - tests
-rw-r--r-- 84 version.c
-rw-r--r-- 31 version.h