Many thanks, Matthias!
Works!
Best,
Konrad
On Wednesday, December 25, 2019 at 2:07:41 PM UTC+1, Matthias Maier wrote:
>
>
> On Fri, Dec 20, 2019, at 13:07 CST, Konrad Simon <ksimo...@gmail.com
> <javascript:>> wrote:
>
> >
> ###############################################################################
>
>
> >
> ###############################################################################
>
>
> > ADD_CUSTOM_TARGET(debug
> > COMMAND ${CMAKE_COMMAND} -DCMAKE_BUILD_TYPE=Debug ${CMAKE_SOURCE_DIR}
> > COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target all
> > COMMENT "Switch CMAKE_BUILD_TYPE to Debug"
> > )
> >
> > ADD_CUSTOM_TARGET(release
> > COMMAND ${CMAKE_COMMAND} -DCMAKE_BUILD_TYPE=Release
> ${CMAKE_SOURCE_DIR}
> > COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target all
> > COMMENT "Switch CMAKE_BUILD_TYPE to Release"
> > )
> >
> ###############################################################################
>
>
> >
> ###############################################################################
>
>
>
> Do you get the jobserver warning while running "make release" or "make
> debug" with "-j8"?
>
> If so - that's because you cannot recursively call into make with the
> jobserver feature that way.
>
> We have fixed the example steps a while ago but probably never updated
> the documentation regarding these two custom targets. It is best to
> simply have:
>
> ADD_CUSTOM_TARGET(debug
> COMMAND ${CMAKE_COMMAND} -DCMAKE_BUILD_TYPE=Debug ${CMAKE_SOURCE_DIR}
> COMMENT "Switch CMAKE_BUILD_TYPE to Debug"
> )
>
> ADD_CUSTOM_TARGET(release
> COMMAND ${CMAKE_COMMAND} -DCMAKE_BUILD_TYPE=Release ${CMAKE_SOURCE_DIR}
> )
>
> and then
>
> $ make release
> $ make -j8
>
> or
>
> $ make debug
> $ make -j8
>
> Best,
> Matthias
>
--
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/dealii/b39bba70-1033-4a18-b618-572309514c45%40googlegroups.com.
