Auftrag von
georg.fut...@dlr.de
Gesendet: Freitag, 5. April 2019 11:40
An: dumux@listserv.uni-stuttgart.de
Betreff: Re: [DuMuX] Precompiled headers in Dumux?
Hi Timo,
Thanks for the hint. I will take a look at ccache. I will let you know when I
get something to work.
Georg
-Ursprüngliche
stserv.uni-stuttgart.de] Im Auftrag von
> Christoph Grüninger
> Gesendet: Freitag, 5. April 2019 00:05
> An: dumux@listserv.uni-stuttgart.de
> Betreff: Re: [DuMuX] Precompiled headers in Dumux?
>
> Hi Georg,
> there is no Dune magic involved preventing you from using precomiled
> he
Hi Georg,
there is no Dune magic involved preventing you from using precomiled
headers. But CMake does not offer a built-in way to use them, see for
example [1] for ways to achieve what you want.
[1]
https://stackoverflow.com/questions/148570/using-pre-compiled-headers-with-cmake
Beside using