From 2f91a7e0836cf2a250c65e6d9429a1d790dd4b54 Mon Sep 17 00:00:00 2001 From: dam1n19 <dam1n19@soton.ac.uk> Date: Fri, 23 Jun 2023 11:21:47 +0100 Subject: [PATCH] Added Common Lint Checks makefile --- resources/hal/makefile.hal_checks | 37 +++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 resources/hal/makefile.hal_checks diff --git a/resources/hal/makefile.hal_checks b/resources/hal/makefile.hal_checks new file mode 100644 index 0000000..47075de --- /dev/null +++ b/resources/hal/makefile.hal_checks @@ -0,0 +1,37 @@ +#----------------------------------------------------------------------------- +# SoCLabs List of Hal Checks to Disable for Linitng +# A joint work commissioned on behalf of SoC Labs, under Arm Academic Access license. +# +# Contributors +# +# David Mapstone (d.a.mapstone@soton.ac.uk) +# +# Copyright (C) 2021-3, SoC Labs (www.soclabs.org) +#----------------------------------------------------------------------------- + +# Capitalised Names used for Wires +LINT_NOCHECK = -nocheck LCVARN + +# Constant values used in signal widths +LINT_NOCHECK += -nocheck STYVAL + +# Maximum Length of HDL Lines exceeded (Don't care) +LINT_NOCHECK += -nocheck MAXLEN + +# Outputs Assigned Asynchronously (Multiple layers of wiring) +LINT_NOCHECK += -nocheck SYNPRT + +# Bitwidth not specified for Parameters +LINT_NOCHECK += -nocheck PRMVAL + +# Base not specified for Parameters +LINT_NOCHECK += -nocheck PRMBSE + +# Constants Used in Port Expressions (To tie them off) +LINT_NOCHECK += -nocheck IPRTEX + +# Compiler Directives Used in RTL +LINT_NOCHECK += -nocheck CDWARN + +# TODO: Control Characters (May need to be investigated!) +LINT_NOCHECK += -nocheck CTLCHR \ No newline at end of file -- GitLab