Theano/Theano — pull request #330 by josharian (2012-01-11 01:32:39+00:00)
Title: Make platform-dependent compiledir configurable

This is a follow-up pull request to gh-320, implementing the suggestion there.

One issue of note encountered during this change: `SafeConfigParser` doesn't like having format strings in its config files (it tries to do substitutions itself and fails). There were a couple of options:

* Put the `compiledir_format` substitution variables into `configparser.py`. Seemed an inappropriate mixing of concerns.
* Delay config file parsing and add a substitution variable registry. Seemed like overkill.
* Parse the file twice, once with `SafeConfigParser`, and once with `RawConfigParser` if that failed. This is the option I went for.

I'm open to feedback, of course.