Parent Directory | Revision Log | Patch
revision 1511 by jpye, Wed Jun 27 13:29:36 2007 UTC | revision 1512 by jpye, Wed Jun 27 13:45:17 2007 UTC | |
---|---|---|
# | Line 1 | Line 1 |
1 | Import('env') | Import('env') |
2 | ||
3 | if 'IDA' in env['WITH_SOLVERS']: | if env.get('WITH_IDA'): |
4 | ||
5 | solver_env = env.Copy() | solver_env = env.Copy() |
6 |
|
john.pye@anu.edu.au | ViewVC Help |
Powered by ViewVC 1.1.22 |