Skip to content

Commit

Permalink
Update ci images for Kokkos and Ginkgo (#8)
Browse files Browse the repository at this point in the history
* Update ci images for Kokkos and Ginkgo

* Disable build testing

* Reduce compile time of ginkgo further

* Use more cores for compiling ginkgo

Co-authored-by: Frédéric Simonis <[email protected]>

---------

Co-authored-by: Frédéric Simonis <[email protected]>
  • Loading branch information
davidscn and fsimonis authored Jul 17, 2024
1 parent b421a49 commit ea8eba4
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 9 deletions.
4 changes: 4 additions & 0 deletions ci-fedora.dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ RUN dnf -y update && \
ninja-build \
petsc-mpich-devel \
eigen3-devel \
kokkos-devel \
python3-devel \
python3-pip \
google-benchmark \
Expand All @@ -31,4 +32,7 @@ RUN dnf -y update && \
echo "module load mpi/mpich-x86_64" > /etc/profile.d/mpich.sh

# Run interactively using a bash login shell
COPY --chown=root:root ginkgo/99-ginkgo-env.sh /etc/profile.d/
COPY ginkgo/ginkgo-install.sh ginkgo-install.sh
RUN ./ginkgo-install.sh && rm ginkgo-install.sh
CMD [ "bash", "--login" ]
3 changes: 0 additions & 3 deletions ci-ubuntu-2404.dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,4 @@ RUN apt-get -qq update && \
&& rm -rf /var/lib/apt/lists/*

# Environment variables are set in the .env file
COPY --chown=root:root ginkgo/99-ginkgo-env.sh /etc/profile.d/
COPY ginkgo/ginkgo-install.sh ginkgo-install.sh
RUN ./ginkgo-install.sh && rm ginkgo-install.sh
CMD ["/bin/bash", "--login"]
2 changes: 0 additions & 2 deletions ginkgo/99-ginkgo-env.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
# Copy this file into /etc/profile.d/

export Ginkgo_DIR=/ginkgo/build

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$Ginkgo_DIR/lib
export CPATH=$CPATH:$Ginkgo_DIR/include
8 changes: 4 additions & 4 deletions ginkgo/ginkgo-install.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# This script installs GINKGO
VERSION=3.12.4
VERSION=1.8.0

wget -c https://github.com/ginkgo-project/ginkgo/archive/refs/heads/public_common_kernels.zip
unzip public_common_kernels.zip && mv ginkgo-public_common_kernels ginkgo
wget -c https://github.com/ginkgo-project/ginkgo/archive/refs/tags/v$VERSION.zip
unzip v$VERSION.zip && mv ginkgo-$VERSION ginkgo
cd ginkgo && mkdir build && cd build
cmake .. && make
cmake -DBUILD_TESTING="OFF" -DGINKGO_BUILD_EXAMPLES="OFF" -DGINKGO_BUILD_TESTS="OFF" .. && make -j 4

0 comments on commit ea8eba4

Please sign in to comment.