From a0ccd110691e5292c894656356e694cc07ce2967 Mon Sep 17 00:00:00 2001 From: Fabian Castelli Date: Mon, 30 Aug 2021 13:53:38 +0200 Subject: [PATCH] Add comment on advanced ginkgo options --- deal.II-toolchain/packages/ginkgo.package | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/deal.II-toolchain/packages/ginkgo.package b/deal.II-toolchain/packages/ginkgo.package index 2836784..46b8f3a 100644 --- a/deal.II-toolchain/packages/ginkgo.package +++ b/deal.II-toolchain/packages/ginkgo.package @@ -59,6 +59,10 @@ CONFOPTS="\ # -D GINKGO_BUILD_HIP:BOOL=OFF \ # -D GINKGO_BUILD_DPCPP:BOOL=OFF \ +# Advanced configuration options +# -D GINKGO_MIXED_PRECISION:BOOL=ON \ +# -D GINKGO_JACOBI_FULL_OPTIMIZATIONS:BOOL=ON \ + package_specific_register () { export GINKGO_DIR=${INSTALL_PATH} } -- 2.39.5