]> https://gitweb.dealii.org/ - candi.git/commitdiff
Add ginkgo package
authorFabian Castelli <fabian.castelli@kit.edu>
Mon, 7 Jun 2021 09:17:10 +0000 (11:17 +0200)
committerTimo Heister <timo.heister@gmail.com>
Mon, 21 Jun 2021 23:09:34 +0000 (19:09 -0400)
candi.cfg
deal.II-toolchain/packages/dealii.package
deal.II-toolchain/packages/ginkgo.package [new file with mode: 0644]

index 9244c8d8ef17b3df35389ecad3afdd0734000e23..5de3961ca4bce761181df8470cbe7e5c8faad552 100644 (file)
--- a/candi.cfg
+++ b/candi.cfg
@@ -64,6 +64,7 @@ PACKAGES="load:dealii-prepare"
 #PACKAGES="${PACKAGES} once:adolc"
 #PACKAGES="${PACKAGES} once:arpack-ng"
 #PACKAGES="${PACKAGES} once:assimp"
+#PACKAGES="${PACKAGES} once:ginkgo"
 #PACKAGES="${PACKAGES} once:gsl"
 PACKAGES="${PACKAGES} once:opencascade"
 PACKAGES="${PACKAGES} once:parmetis"
index 227308c4f9f2aee8b6c5cfb7d5f6b76fe2a8a33d..761370ff76418d89e9c439c60d7a7823827e7d36 100644 (file)
@@ -225,6 +225,22 @@ if [ ! -z "${OPENCASCADE_DIR}" ]; then
         -D DEAL_II_WITH_OPENCASCADE:BOOL=ON"
 fi
 
+########################################
+# GINKGO
+if [[ ${PACKAGES_OFF} =~ 'ginkgo' ]]; then
+    if [ ! -z "${GINKGO_DIR}" ]; then
+        cecho ${INFO} "deal.II: unset GINKGO_DIR due to forced DEAL_II_WITH_GINKGO:BOOL=OFF option"
+        unset GINKGO_DIR
+    fi
+fi
+
+if [ ! -z "${GINKGO_DIR}" ]; then
+    cecho ${INFO} "deal.II: configuration with GINKGO"
+    CONFOPTS="${CONFOPTS} \
+      -D DEAL_II_WITH_GINKGO:BOOL=ON \
+      -D GINKGO_DIR=${GINKGO_DIR}"
+fi
+
 ################################################################################
 
 package_specific_install() {
diff --git a/deal.II-toolchain/packages/ginkgo.package b/deal.II-toolchain/packages/ginkgo.package
new file mode 100644 (file)
index 0000000..17bf71c
--- /dev/null
@@ -0,0 +1,52 @@
+################################################################################
+## GINKGO                                                                     ##
+################################################################################
+
+VERSION=develop
+NAME=ginkgo.git
+SOURCE=https://github.com/ginkgo-project/
+EXTRACTSTO=ginkgo-${VERSION}
+PACKING=git
+
+BUILDCHAIN=cmake
+
+BUILDDIR=${BUILD_PATH}/ginkgo-${VERSION}
+INSTALL_PATH=${INSTALL_PATH}/ginkgo-${VERSION}
+
+CONFOPTS="\
+  -G 'Unix Makefiles' \
+  -D CMAKE_BUILD_TYPE=Release \
+  -D BUILD_SHARED_LIBS:BOOL=ON \
+  -D GINKGO_BUILD_TESTS:BOOL=OFF \
+  -D GINKGO_FAST_TESTS:BOOL=OFF \
+  -D GINKGO_BUILD_EXAMPLES:BOOL=OFF \
+  -D GINKGO_BUILD_BENCHMARKS:BOOL=OFF \
+  -D GINKGO_BENCHMARK_ENABLE_TUNING:BOOL=OFF \
+  -D GINKGO_BUILD_DOC:BOOL=OFF \
+  -D GINKGO_VERBOSE_LEVEL=1 \
+  -D GINKGO_DEVEL_TOOLS:BOOL=OFF \
+  -D GINKGO_WITH_CLANG_TIDY:BOOL=OFF \
+  -D GINKGO_WITH_IWYU:BOOL=OFF \
+  -D GINKGO_CHECK_CIRCULAR_DEPS:BOOL=OFF \
+  -D GINKGO_WITH_CCACHE:BOOL=OFF \
+  -D GINKGO_BUILD_HWLOC:BOOL=OFF"
+
+# Autodetected ginkgo options
+# -D GINKGO_BUILD_OMP:BOOL=ON \
+# -D GINKGO_BUILD_REFERENCE:BOOL=ON \
+# -D GINKGO_BUILD_CUDA:BOOL=OFF \
+# -D GINKGO_BUILD_HIP:BOOL=OFF \
+# -D GINKGO_BUILD_DPCPP:BOOL=OFF \
+
+package_specific_register () {
+    export GINKGO_DIR=${INSTALL_PATH}
+}
+
+package_specific_conf () {
+    # Generate configuration file
+    CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
+    rm -f $CONFIG_FILE
+    echo "
+export GINKGO_DIR=${INSTALL_PATH}
+" >> $CONFIG_FILE
+}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.