2012-08-14 18:07:04 -04:00
|
|
|
@echo off
|
|
|
|
|
:: ===========================================================================
|
|
|
|
|
:: Product: QP/C build script for PC-Lint(TM)
|
2015-04-28 13:45:35 -04:00
|
|
|
:: Last Updated for Version: 5.4.0
|
|
|
|
|
:: Date of the Last Update: 2015-04-15
|
|
|
|
|
::
|
|
|
|
|
:: Q u a n t u m L e a P s
|
|
|
|
|
:: ---------------------------
|
|
|
|
|
:: innovating embedded systems
|
|
|
|
|
::
|
|
|
|
|
:: Copyright (C) Quantum Leaps, LLC. All rights reserved.
|
|
|
|
|
::
|
|
|
|
|
:: This program is open source software: you can redistribute it and/or
|
|
|
|
|
:: modify it under the terms of the GNU General Public License as published
|
|
|
|
|
:: by the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
:: (at your option) any later version.
|
|
|
|
|
::
|
|
|
|
|
:: Alternatively, this program may be distributed and modified under the
|
|
|
|
|
:: terms of Quantum Leaps commercial licenses, which expressly supersede
|
|
|
|
|
:: the GNU General Public License and are specifically designed for
|
|
|
|
|
:: licensees interested in retaining the proprietary status of their code.
|
|
|
|
|
::
|
|
|
|
|
:: This program is distributed in the hope that it will be useful,
|
|
|
|
|
:: but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
:: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
:: GNU General Public License for more details.
|
|
|
|
|
::
|
|
|
|
|
:: You should have received a copy of the GNU General Public License
|
|
|
|
|
:: along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
::
|
|
|
|
|
:: Contact information:
|
|
|
|
|
:: Web : http://www.state-machine.com
|
|
|
|
|
:: Email: info@state-machine.com
|
2012-08-14 18:07:04 -04:00
|
|
|
:: ===========================================================================
|
|
|
|
|
setlocal
|
|
|
|
|
|
|
|
|
|
:: Options for calling lin.bat
|
|
|
|
|
::
|
2015-04-28 13:45:35 -04:00
|
|
|
:: -DQ_SPY // for linting the Spy configuration (default for QS)
|
2012-08-14 18:07:04 -04:00
|
|
|
:: up to 4 other options, if needed
|
|
|
|
|
|
|
|
|
|
:: NOTE: adjust to for your installation directory of PC-Lint
|
|
|
|
|
::
|
|
|
|
|
set PC_LINT_DIR=C:\tools\lint
|
|
|
|
|
|
2015-04-28 13:45:35 -04:00
|
|
|
set QPC=..\..\..\..
|
|
|
|
|
|
2013-10-10 19:59:51 -04:00
|
|
|
set LINTFLAGS=-i%PC_LINT_DIR%\lnt %QPC%\include\std.lnt options.lnt %1 %2 %3 %4
|
2012-08-14 18:07:04 -04:00
|
|
|
|
|
|
|
|
set PROJ_DIR=..
|
|
|
|
|
|
2013-10-10 19:59:51 -04:00
|
|
|
:: linting -------------------------------------------------------------------
|
|
|
|
|
%PC_LINT_DIR%\lint-nt -os(lint_out.txt) %LINTFLAGS% %PROJ_DIR%\philo.c %PROJ_DIR%\table.c
|
2012-08-14 18:07:04 -04:00
|
|
|
|
|
|
|
|
endlocal
|
