Add more variables to CONFIGURE_OPTIONS
treef6e52ee5c7347c3beebb7326b9084a5ed1a58072
-rw-r--r-- 157 .gitignore
-rw-r--r-- 3937 .hgtags
-rw-r--r-- 1423 Makefile
-rw-r--r-- 3488 README
drwxr-xr-x - components
drwxr-xr-x - doc
drwxr-xr-x - make-rules
drwxr-xr-x - tools
drwxr-xr-x - transforms