Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add vera++ config to repository #562

Merged
merged 2 commits into from Nov 27, 2016
Merged

Add vera++ config to repository #562

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f517e87
Add vera++ profile file to extras and make build.sh use that
jougs Nov 22, 2016
ab36e9f
Merge branch 'master' of git://github.com/nest/nest-simulator into ad…
jougs Nov 22, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
27 changes: 1 addition & 26 deletions build.sh
View file
Open in desktop
Expand Up @@ -83,32 +83,7 @@ if [ "$xSTATIC_ANALYSIS" = "1" ] ; then
# copy all scripts/rules/ ... into ./vera_home
cp -r /usr/lib/vera++/* ./vera_home
# create the nest-profile for vera++
cat > ./vera_home/profiles/nest <<EOF
#!/usr/bin/tclsh
# This profile includes all the rules for checking NEST
set rules {
F001
F002
L001
L002
L003
L005
L006
T001
T002
T004
T005
T006
T007
T010
T011
T012
T013
T017
T018
T019
}
EOF
cp $NEST_VPATH/../extras/vera++.profile ./vera_home/profiles/nest
echo "======= VERA++ init end ======="

if [ ! -f "$HOME/.cache/bin/cppcheck" ]; then
Expand Down
25 changes: 25 additions & 0 deletions extras/vera++.profile
View file
Open in desktop
@@ -0,0 +1,25 @@
#!/usr/bin/tclsh
# This profile includes all the rules for checking NEST

set rules {
F001
F002
L001
L002
L003
L005
L006
T001
T002
T004
T005
T006
T007
T010
T011
T012
T013
T017
T018
T019
}