casadi/casadi — pull request #634 by ghorn (2013-04-02 16:45:46+00:00)
Title: WITH_DL is now ON by default for non-windows systems

closes #633