mirror of
https://github.com/Mudlet/Mudlet
synced 2026-08-13 18:26:27 -04:00
09aac5ce96
We no longer use that platform for a long while now
<!-- Keep the title short & concise so anyone non-technical can
understand it,
the title appears in PTB changelogs -->
#### Brief overview of PR changes/additions
Remove `travis.` prefix from CI files
#### Motivation for adding to Mudlet
We no longer use Travis for years now
#### Other info (issues closed, discussion etc)
Also deleted an unused `Doxyfile`.
Co-authored-by: Vadim Peretokin <vadi2@users.noreply.github.com>
32 lines
1 KiB
Bash
Executable file
32 lines
1 KiB
Bash
Executable file
#!/bin/bash
|
|
|
|
mkdir -p "${HOME}/latest-gcc-symlinks"
|
|
ln -s /usr/bin/g++-8 "${HOME}/latest-gcc-symlinks/g++"
|
|
ln -s /usr/bin/gcc-8 "${HOME}/latest-gcc-symlinks/gcc"
|
|
|
|
# lua-utf8 is not in the repositories...
|
|
luarocks install --local luautf8
|
|
YAJL_PATH="$(pkg-config --variable=libdir yajl)"
|
|
echo "Setting search path to $YAJL_PATH"
|
|
luarocks install --local lua-yajl YAJL_LIBDIR="${YAJL_PATH}"
|
|
|
|
# CI changelog generation dependencies
|
|
luarocks install --local argparse
|
|
luarocks install --local lunajson
|
|
|
|
# download coverity tool only for cron+deploy jobs
|
|
if [ "${TRAVIS_EVENT_TYPE}" = "cron" ] && [ "${DEPLOY}" = "deploy" ]; then
|
|
mkdir coverity
|
|
cd coverity
|
|
wget https://scan.coverity.com/download/linux64 --post-data "token=${COVERITY_SCAN_TOKEN}&project=Mudlet%2FMudlet" -O coverity_tool.tgz
|
|
if [ $? -ne 0 ]; then
|
|
echo Download Coverity analysis tool failed!
|
|
exit 1
|
|
fi
|
|
tar xzf coverity_tool.tgz
|
|
rm -f coverity_tool.tgz
|
|
export PATH="$(pwd)/$(ls -d cov*)/bin:$PATH"
|
|
echo The new PATH is now "${PATH}"
|
|
cd ..
|
|
# Coverity scan tool installed
|
|
fi
|