Instead of defining a zillion options to Configure, create a Policy.sh (and save it) and work from there.

cc=gcc
ccflags="-maix32 $ccflags"
...
[download]