Skip to content
Open
Changes from all commits
Commits
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
28 changes: 28 additions & 0 deletions jenkins/github/fedora.pipeline
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,34 @@ pipeline {
echo 'Finished Cloning'
}
}
stage('HRW4U') {
steps {
dir('src') {
sh '''#!/bin/bash
set -x
set -e

if [ ! -f tools/hrw4u/Makefile ]
then
echo "hrw4u is not available on this branch."
else
# uv is installed under /opt/bin in this image.
export PATH=/opt/bin:$PATH

# uv cannot hardlink from its cache into the venv because
# Jenkins bind mounts the workspace into the container.
export UV_LINK_MODE=copy

cd tools/hrw4u

# Fedora's antlr4 package installs the generator as
# `antlr4`; the Makefile defaults to the Homebrew name.
make ANTLR=antlr4 test
fi
'''
}
}
}
stage('Build') {
steps {
echo 'Starting build'
Expand Down