39 lines
752 B
Bash
Executable File
39 lines
752 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig;
|
|
|
|
if [ "$GITHUB_EVENT_NAME" == "pull_request" ]; then
|
|
PR_NUMBER=$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')
|
|
if [ "$GITHUB_BASE_REF" == "master" ]; then
|
|
./bootstrap.ci -s "-pr$PR_NUMBER"
|
|
else
|
|
./bootstrap.ci -s "$GITHUB_BASE_REF-pr$PR_NUMBER"
|
|
fi
|
|
else
|
|
BRANCH=$(echo $GITHUB_REF | awk 'BEGIN { FS = "/" } ; { print $3 }')
|
|
if [ "$BRANCH" == "master" ]; then
|
|
./bootstrap
|
|
else
|
|
./bootstrap.ci -s "$BRANCH"
|
|
fi
|
|
fi
|
|
|
|
if [ "$RUNNER_OS" == "macOS" ]; then
|
|
./MacOSX/build
|
|
exit $?
|
|
fi
|
|
|
|
# normal procedure
|
|
./configure --disable-dependency-tracking
|
|
|
|
make -j 2
|
|
|
|
make check
|
|
|
|
# this is broken in old ubuntu
|
|
if [ "$1" == "dist" ]; then
|
|
make distcheck
|
|
fi
|
|
|
|
sudo make install
|