Skip to content

Add chapel-gasnet-udp Docker image #28765

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
arifthpe wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Add chapel-gasnet-udp Docker image #28765

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
9cbc644
Remove some bloat from Docker test scripts
arifthpe May 1, 2026
8651d25
Move Docker test scripts from cron to packaging/docker/test
arifthpe May 1, 2026
6d82638
Remove obvious comment
arifthpe May 1, 2026
73c355f
Add chapel-gasnet-udp Dockerfile
arifthpe May 1, 2026
f049ee9
Add chapel-gasnet-udp to test-docker
arifthpe May 1, 2026
ef54f8d
Invoke ./hello -nl 2 in addition to -nl 1
arifthpe May 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 0 additions & 38 deletions util/cron/docker-chapel.bash
View file
Open in desktop

This file was deleted.

40 changes: 0 additions & 40 deletions util/cron/docker-gasnet.bash
View file
Open in desktop

This file was deleted.

16 changes: 8 additions & 8 deletions util/cron/test-docker.bash
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -97,11 +97,8 @@ update_image() {
fi

# Run test script inside container
echo 'writeln("Hello, world!");' > hello.chpl
docker run --rm -i "$imageName" < "$script"
CONTAINER_RUN=$?
# Clean up scratch chpl file for testing
rm hello.chpl

if [ $CONTAINER_RUN -ne 0 ]
then
Expand All @@ -121,18 +118,21 @@ update_all_images() {
local release_tag="$1"

cd "$CHPL_HOME"
update_image chapel/chapel "${CHPL_HOME}/util/cron/docker-chapel.bash" "$release_tag"
update_image chapel/chapel "$CHPL_HOME/util/packaging/docker/test/docker-chapel.bash" "$release_tag"

cd "$CHPL_HOME/util/packaging/docker/gasnet"
dockerfile_nightly_patch
update_image chapel/chapel-gasnet "${CHPL_HOME}/util/cron/docker-gasnet.bash" "$release_tag"
# Clean up after patch changes
update_image chapel/chapel-gasnet "$CHPL_HOME/util/packaging/docker/test/docker-gasnet.bash" "$release_tag"
dockerfile_nightly_patch -R

cd "$CHPL_HOME/util/packaging/docker/gasnet-smp"
dockerfile_nightly_patch
update_image chapel/chapel-gasnet-smp "${CHPL_HOME}/util/cron/docker-gasnet.bash" "$release_tag"
# Clean up after patch changes
update_image chapel/chapel-gasnet-smp "$CHPL_HOME/util/packaging/docker/test/docker-gasnet.bash" "$release_tag"
dockerfile_nightly_patch -R

cd "$CHPL_HOME/util/packaging/docker/gasnet-udp"
dockerfile_nightly_patch
update_image chapel/chapel-gasnet-udp "$CHPL_HOME/util/packaging/docker/test/docker-gasnet.bash" "$release_tag"
dockerfile_nightly_patch -R
}
# END FUNCTIONS
Expand Down
12 changes: 12 additions & 0 deletions util/packaging/docker/gasnet-udp/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
FROM chapel/chapel:latest

ARG MAKE_THREADS=1

ENV CHPL_COMM=gasnet
ENV CHPL_COMM_SUBSTRATE=udp
ENV CHPL_LAUNCHER=amudprun

RUN CHPL_TARGET_COMPILER=llvm make -j$MAKE_THREADS -C $CHPL_HOME
RUN CHPL_TARGET_COMPILER=gnu make -j$MAKE_THREADS -C $CHPL_HOME
RUN make -j$MAKE_THREADS -C $CHPL_HOME chpldoc test-venv mason
RUN make -j$MAKE_THREADS -C $CHPL_HOME cleanall
9 changes: 9 additions & 0 deletions util/packaging/docker/test/docker-chapel.bash
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#!/usr/bin/env bash

set -exuo pipefail

which chpl
chpl --version
echo 'writeln("Hello, world!");' > hello.chpl
chpl -o hello hello.chpl
./hello
10 changes: 10 additions & 0 deletions util/packaging/docker/test/docker-gasnet.bash
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
#!/usr/bin/env bash

set -exuo pipefail

which chpl
chpl --version
echo 'writeln("Hello, world!");' > hello.chpl
chpl -o hello hello.chpl
./hello -nl 1
./hello -nl 2
Loading