On Mon, 21 Aug 2023, Nicola Vetrini wrote:
> The documentation pertaining Directive 4.1 is contained in docs/misra.
> The build script driving the analysis is amended to allow ECLAIR to
> find it and thus resolving violations of the directive.
>
> Signed-off-by: Nicola Vetrini <nicola.vetr...@bugseng.com>
Acked-by: Stefano Stabellini <sstabell...@kernel.org>
> ---
> automation/eclair_analysis/build.sh | 10 ++++++++--
> automation/eclair_analysis/prepare.sh | 1 +
> 2 files changed, 9 insertions(+), 2 deletions(-)
>
> diff --git a/automation/eclair_analysis/build.sh
> b/automation/eclair_analysis/build.sh
> index ec087dd822fa..a0433eedeb4d 100755
> --- a/automation/eclair_analysis/build.sh
> +++ b/automation/eclair_analysis/build.sh
> @@ -34,8 +34,14 @@ else
> fi
>
> (
> - cd xen
> -
> + cd docs
> + make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \
> + "CROSS_COMPILE=${CROSS_COMPILE}" \
> + "CC=${CROSS_COMPILE}gcc-12" \
> + "CXX=${CROSS_COMPILE}g++-12" \
> + "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \
> + misra
> + cd ../xen
> make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \
> "CROSS_COMPILE=${CROSS_COMPILE}" \
> "CC=${CROSS_COMPILE}gcc-12" \
> diff --git a/automation/eclair_analysis/prepare.sh
> b/automation/eclair_analysis/prepare.sh
> index 275a1a3f517c..10854741790e 100755
> --- a/automation/eclair_analysis/prepare.sh
> +++ b/automation/eclair_analysis/prepare.sh
> @@ -35,6 +35,7 @@ else
> fi
>
> (
> + ./configure
> cd xen
> cp "${CONFIG_FILE}" .config
> make clean
> --
> 2.34.1
>
