]> https://gitweb.dealii.org/ - candi.git/commitdiff
Add ginkgo package 194/head
authorFabian Castelli <fabian.castelli@kit.edu>
Mon, 7 Jun 2021 09:17:10 +0000 (11:17 +0200)
committerFabian Castelli <fabian.castelli@kit.edu>
Mon, 21 Jun 2021 14:20:23 +0000 (16:20 +0200)
candi.cfg
deal.II-toolchain/packages/dealii.package
deal.II-toolchain/packages/ginkgo.package [new file with mode: 0644]

index 67b6eb3847116acb06dd23bc1292ec63533bb3bd..13c54097b95e74731c746fd9799ea13da3ab6913 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 5b06381f7397b7e918ad3bc21a5eca70ca98d4b4..21953fe84fd75ade52074416b2f3db0101a5350f 100644 (file)
@@ -220,6 +220,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.