Hi Oded, On Tuesday, August 9, 2016 at 10:36:39 AM UTC+2, Oded Yaakobi wrote: > > > However, if I want to keep the functionality of switching the build types > between "Debug" and "Release" versions, how can I do it now? >
I just do -DCMAKE_BUILD_TYPE=Debug or Release you can also probably try to define the same make targets as done in autopilot, but i can't help you here. Regards, Denis. -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
