GitHub Workflows: NDI for Coverity (Linux)

This commit is contained in:
Martin Pulec
2020-03-24 08:33:36 +01:00
parent c710790cd7
commit ab0db3c80e
3 changed files with 11 additions and 2 deletions

View File

@@ -47,6 +47,15 @@ if [ -n "$sdk_pass" ]; then
make
fi
# Install NDI
if [ -n "$sdk_pass" ]; then
curl --netrc-file <(cat <<<"machine frakira.fi.muni.cz login sdk password $sdk_pass") https://frakira.fi.muni.cz/~xpulec/sdks/NDISDK_Linux.tar.gz -O
tar -C /var/tmp -xzf NDISDK_Linux.tar.gz
yes | PAGER=cat /var/tmp/InstallNDI*sh
sudo cp -r NDI\ SDK\ for\ Linux/include/* /usr/local/include
sudo cp -r NDI\ SDK\ for\ Linux/lib/x86_64-linux-gnu/* /usr/local/lib
fi
# Install live555
git clone https://github.com/xanview/live555/
cd live555