-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #41 from luca-heltai/new-image
- Loading branch information
Showing
14 changed files
with
149 additions
and
55 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,19 +1,29 @@ | ||
name: Indent | ||
|
||
on: | ||
push: | ||
branches: [ main ] | ||
pull_request: | ||
branches: [ main ] | ||
on: [push, pull_request] | ||
|
||
concurrency: | ||
group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }} | ||
cancel-in-progress: ${{github.event_name == 'pull_request'}} | ||
|
||
permissions: | ||
contents: read | ||
|
||
jobs: | ||
build: | ||
indent: | ||
# run the indent checks | ||
|
||
runs-on: ubuntu-latest | ||
container: heltai/dealii:vscode | ||
name: indent | ||
runs-on: [ubuntu-20.04] | ||
container: | ||
image: heltai/dealii:vscode | ||
options: --user root | ||
|
||
steps: | ||
- uses: actions/checkout@v2 | ||
- uses: actions/checkout@v3 | ||
with: | ||
fetch-depth: 100 | ||
- name: Check indentation | ||
run: | | ||
./scripts/check_indentation.sh | ||
git config --global --add safe.directory "$GITHUB_WORKSPACE" | ||
./scripts/check_indentation.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
# This image is pushed to heltai/dealii:vscode | ||
FROM dealii/dealii:master-focal | ||
FROM dealii/dealii:master-jammy | ||
|
||
LABEL maintainer="[email protected]" | ||
|
||
|
@@ -12,7 +12,6 @@ RUN apt-get update \ | |
doxygen \ | ||
gdb \ | ||
graphviz \ | ||
libcgal-dev \ | ||
linux-tools-common \ | ||
linux-tools-generic \ | ||
valgrind \ | ||
|
@@ -21,23 +20,6 @@ RUN apt-get update \ | |
&& apt-get clean \ | ||
&& rm -rf /var/lib/apt/lists/* | ||
|
||
RUN mkdir -p /root/.vscode-server/extensions \ | ||
/root/.vscode-server-insiders/extensions | ||
|
||
ENV OMPI_ALLOW_RUN_AS_ROOT 1 | ||
|
||
ENV OMPI_ALLOW_RUN_AS_ROOT_CONFIRM 1 | ||
|
||
ENV HOME /root | ||
|
||
RUN mkdir /root/.ssh | ||
|
||
ADD dotgdbinit.py /root/.gdbinit | ||
|
||
ADD build.sh copy_test.sh copy_output.sh d2check.sh cwdiff /usr/bin/ | ||
|
||
RUN mv /usr/local/bin/clang-format /usr/bin/clang-format | ||
|
||
# Now install parmoonlith | ||
RUN cd /usr/src/ && \ | ||
git clone https://bitbucket.org/zulianp/par_moonolith.git && \ | ||
|
@@ -46,6 +28,29 @@ RUN cd /usr/src/ && \ | |
cd build && \ | ||
cmake .. -G Ninja \ | ||
-DBUILD_SHARED_LIBS=ON && \ | ||
sed -i '/#include <vector>/a #include <limits>' _deps/benchmark-src/src/benchmark_register.h &&\ | ||
ninja && \ | ||
ninja install && \ | ||
cd ../ && rm -rf build | ||
|
||
RUN mkdir -p /root/.vscode-server/extensions \ | ||
/root/.vscode-server-insiders/extensions | ||
|
||
ENV OMPI_ALLOW_RUN_AS_ROOT 1 | ||
|
||
ENV OMPI_ALLOW_RUN_AS_ROOT_CONFIRM 1 | ||
|
||
ADD dotgdbinit.py /root/.gdbinit | ||
|
||
RUN mv /usr/local/bin/clang-format /usr/bin/clang-format | ||
|
||
ADD \ | ||
build.sh \ | ||
copy_output.sh \ | ||
copy_test.sh \ | ||
d2check.sh \ | ||
cwdiff \ | ||
newdocentry.sh \ | ||
work_on_test.sh \ | ||
/usr/bin/ | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
#!/bin/sh | ||
docker pull dealii/dealii:master-focal | ||
docker pull dealii/dealii:master-jammy | ||
docker build -t heltai/dealii:vscode . | ||
docker push heltai/dealii:vscode |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,10 @@ | ||
#!/bin/bash | ||
snippetdir=$SNIPPET_DIR | ||
if [ -z "$snippetdir" ]; then | ||
snippetdir=~/c++/snippets/ | ||
fi | ||
echo copying | ||
echo ~/c++/snippets/build/output | ||
echo `pwd`/output | ||
echo to | ||
echo `cat /workspace/snippets/.dealii_output_file` | ||
sed 's/^JobId.*//g' ~/c++/snippets/build/output > `cat /workspace/snippets/.dealii_output_file` | ||
echo `cat $snippetdir/.dealii_output_file` | ||
sed 's/^JobId.*//g' `pwd`/output > `cat $snippetdir/.dealii_output_file` |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
#!/bin/sh | ||
case $2 in | ||
major) | ||
type=major | ||
;; | ||
incompatibilities) | ||
type=incompatibilities | ||
;; | ||
*) | ||
type=minor | ||
;; | ||
esac | ||
|
||
filename=../doc/news/changes/$type/`date "+%Y%m%d"`LucaHeltai | ||
|
||
echo Writing to $filename | ||
message="$1 | ||
<br> | ||
(Luca Heltai, `date "+%Y/%m/%d"`)" | ||
|
||
echo "$message" > $filename | ||
git add $filename |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,38 @@ | ||
#!/bin/bash | ||
newtestrel=$1 | ||
newtest="$(cd "$(dirname "$newtestrel")"; pwd)/$(basename "$newtestrel")" | ||
snippetdir=$SNIPPET_DIR | ||
if [ -z "$snippetdir" ]; then | ||
snippetdir=~/c++/snippets/ | ||
fi | ||
echo Using snippet dir: $snippetdir | ||
if [ -f $newtest ]; then | ||
ln -sf $newtest $snippetdir/snippet.cc | ||
echo Linked | ||
echo $newtest | ||
echo to | ||
echo $snippetdir/snippet.cc | ||
echo | ||
extension="" | ||
for option in "${@:2}"; do | ||
if [[ $option == *"mpirun"* ]]; then | ||
extension=$extension.$option | ||
else | ||
extension=$extension.with_$option=on | ||
fi | ||
done | ||
output=${newtest/\.cc/$extension.output} | ||
if [ -f $output ]; then | ||
echo $output > $snippetdir/.dealii_output_file | ||
echo Stored output name | ||
echo $output | ||
echo in | ||
echo $snippetdir/.dealii_output_file | ||
else | ||
echo Could not find $output file! Did not store its name anywhere | ||
fi | ||
else | ||
echo File | ||
echo $newtest | ||
echo does not exist. Make sure you specify an existing test. | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters