Question #133882 on DOLFIN changed: https://answers.launchpad.net/dolfin/+question/133882
Benjamin Kehlet posted a new comment: I think you can do cmake -DDOLFIN_ENABLE_GMP=true on the command line as well. -- You received this question notification because you are a member of DOLFIN Team, which is an answer contact for DOLFIN. _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp