Add comment on advanced ginkgo options

diff --git a/deal.II-toolchain/packages/ginkgo.package b/deal.II-toolchain/packages/ginkgo.package
index 2836784be808eab63e7a11c63d3d341dfe281248..46b8f3a8b8422069691ccbb08b07aa45bee02f20 100644 (file)
--- 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}
 }