From: Matthias Maier Date: Thu, 16 May 2019 20:10:19 +0000 (-0500) Subject: Merge pull request #8200 from tamiko/adolc_guard X-Git-Tag: v9.2.0-rc1~1483 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c157e2a476de96461d6399eea3eb8e61e299bc50;p=dealii.git Merge pull request #8200 from tamiko/adolc_guard CMake: Add a safeguard that disables ADOL-C in case SEACASChaco is enabled --- c157e2a476de96461d6399eea3eb8e61e299bc50