Coverity Scan #6

	name: Coverity Scan

	on: workflow_dispatch

	jobs:
	coverity-scan:
	runs-on: ubuntu-latest
	environment: Coverity
	steps:
	- name: Checkout htmldoc sources
	uses: actions/checkout@v3
	- name: Update build environment
	run: sudo apt-get update --fix-missing -y
	- name: Install prerequisites
	run: sudo apt-get install -y libfltk1.3-dev libcups2-dev libjpeg-dev libpng-dev zlib1g-dev
	- name: Download Coverity Build Tool
	run: \|
	wget -q https://scan.coverity.com/download/linux64 --post-data token="$TOKEN&project=$GITHUB_REPOSITORY" -O cov-analysis-linux64.tar.gz
	mkdir cov-analysis-linux64
	tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
	env:
	TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

	- name: Configure htmldoc
	run: ./configure --enable-debug --enable-maintainer

	- name: Build htmldoc with cov-build
	run: \|
	export PATH=`pwd`/cov-analysis-linux64/bin:$PATH
	cov-build --dir cov-int make
	- name: Submit the result to Coverity Scan
	run: \|
	tar czvf cov.tgz cov-int
	curl \
	--form token=$TOKEN \
	--form [email protected] \
	--form [email protected] \
	--form version="$GITHUB_REF" \
	--form description="$GITHUB_SHA" \
	"https://scan.coverity.com/builds?project=$GITHUB_REPOSITORY"
	env:
	TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

Provide feedback