Skip to content

Commit

Permalink
Extend runner to support musl
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Dec 18, 2024
1 parent 31e2560 commit a67ebd0
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions .github/runner.sh
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,10 @@ setup() {
sudo apt-get install pkg-config:i386 libzstd1:i386 libzstd-dev:i386 \
libgcc-s1:i386 gcc-multilib g++-multilib
;;
linux,*musl*)
sudo apt-get update
sudo apt-get install musl-tools
;;
esac
}

Expand Down Expand Up @@ -134,6 +138,14 @@ build_ocaml() {
exit 1
fi
;;
linux,*musl*)
printf 'Running: %s\n' \
"./configure \"CC=musl-gcc\" \"CFLAGS=-Os\" \"ASPP=musl-gcc -c\" $opts"
if ! ./configure "CC=musl-gcc" "CFLAGS=-Os" "ASPP=musl-gcc -c" $opts ; then
cat config.log
exit 1
fi
;;
*) # linux, macos, default options
printf 'Running: %s\n' "./configure $opts"
if ! ./configure $opts ; then
Expand Down

0 comments on commit a67ebd0

Please sign in to comment.