80 lines
2.4 KiB
Bash
80 lines
2.4 KiB
Bash
|
#!/bin/sh
|
||
|
|
#BHEADER**********************************************************************
|
||
|
|
# Copyright (c) 2008, Lawrence Livermore National Security, LLC.
|
||
|
|
# Produced at the Lawrence Livermore National Laboratory.
|
||
|
|
# This file is part of HYPRE. See file COPYRIGHT for details.
|
||
|
|
#
|
||
|
|
# HYPRE is free software; you can redistribute it and/or modify it under the
|
||
|
|
# terms of the GNU Lesser General Public License (as published by the Free
|
||
|
|
# Software Foundation) version 2.1 dated February 1999.
|
||
|
|
#
|
||
|
|
# $Revision$
|
||
|
|
#EHEADER**********************************************************************
|
||
|
|
|
||
|
|
testname=`basename $0 .sh`
|
||
|
|
|
||
|
|
# Echo usage information
|
||
|
|
case $1 in
|
||
|
|
-h|-help)
|
||
|
|
cat <<EOF
|
||
|
|
|
||
|
|
$0 [-h] {src_dir}
|
||
|
|
|
||
|
|
where: {src_dir} is the hypre source directory
|
||
|
|
-h|-help prints this usage information and exits
|
||
|
|
|
||
|
|
This script runs the static analysis tool klockwork in {src_dir}.
|
||
|
|
|
||
|
|
Example usage: $0 ..
|
||
|
|
|
||
|
|
EOF
|
||
|
|
exit
|
||
|
|
;;
|
||
|
|
esac
|
||
|
|
|
||
|
|
# Setup
|
||
|
|
output_dir=`pwd`/$testname.dir
|
||
|
|
rm -fr $output_dir
|
||
|
|
mkdir -p $output_dir
|
||
|
|
src_dir=$1
|
||
|
|
shift
|
||
|
|
|
||
|
|
cd $src_dir
|
||
|
|
|
||
|
|
# configure the code
|
||
|
|
./test.sh configure.sh $src_dir $@
|
||
|
|
mv -f configure.??? $output_dir
|
||
|
|
|
||
|
|
# Echo to stderr all nonempty error files in $output_dir
|
||
|
|
for errfile in $( find $output_dir ! -size 0 -name "*.err" )
|
||
|
|
do
|
||
|
|
echo $errfile >&2
|
||
|
|
done
|
||
|
|
|
||
|
|
# do the static analysis
|
||
|
|
kwinject -T hypre.trace make
|
||
|
|
kwinject -t hypre.trace -o hypre.out
|
||
|
|
mkdir tables
|
||
|
|
kwbuildproject --license-host swordfish --host rzcereal3 --port 8066 -j 4 --project hypre -o tables hypre.out
|
||
|
|
|
||
|
|
# save and check tables/build.log and tables/parse_errors.log files
|
||
|
|
cp tables/build.log tables/parse_errors.log $output_dir
|
||
|
|
grep Error tables/build.log >&2
|
||
|
|
cat tables/parse_errors.log >&2
|
||
|
|
|
||
|
|
# upload the results to the host
|
||
|
|
kwadmin --host rzcereal3 --port 8066 load hypre tables
|
||
|
|
|
||
|
|
# get the list of build names (this assumes that the command 'list-builds'
|
||
|
|
# returns a reverse chronological listing)
|
||
|
|
build_list=`kwadmin list-builds hypre`
|
||
|
|
# # The following explicitly sorts the list, assuming the prefix is 'build_'
|
||
|
|
# kwadmin list-builds hypre | awk 'BEGIN {FS="_"}; {print $2}' | sort -n -r | awk '{print "build_" $1}'
|
||
|
|
|
||
|
|
# generate the list of new issues
|
||
|
|
build_name=`echo $build_list | awk '{print $1}'`
|
||
|
|
kwinspectreport --license-host swordfish --host rzcereal3 --port 8066 --text hyprenew.txt --state new --project hypre --build $build_name
|
||
|
|
cat hyprenew.txt > &2
|
||
|
|
|
||
|
|
# TODO: add lines to delete old builds (e.g., keep the latest 5 builds)
|