From: Emmanuel Ferdman Date: Sun, 18 Jun 2023 09:20:56 +0000 (+0300) Subject: fix: update ninja build resource X-Git-Tag: v9.5.0-rc1~89^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a996eecc18dbc6d0cc2e4d2795d5bbddf9f5a3fe;p=dealii.git fix: update ninja build resource --- diff --git a/doc/users/cmake_dealii.html b/doc/users/cmake_dealii.html index ea8b3b7b30..bd17f58cbe 100644 --- a/doc/users/cmake_dealii.html +++ b/doc/users/cmake_dealii.html @@ -350,7 +350,7 @@ $ cmake -G"Eclipse CDT4 - Unix Makefiles" [...]

An interesting alternative to (GNU) Make might also be Ninja. Configure via + href="https://ninja-build.org/">Ninja. Configure via

 $ cmake -GNinja [...]