Generating source code at configure time using Python
