Commit e61edd27 authored by Wei-Cheng Wu's avatar Wei-Cheng Wu
Browse files

Update scripts

parent 9e3cc55e
......@@ -4,7 +4,7 @@
#
# @author Wei-Cheng Wu (wwu_at_isi.edu)
# @date Created: 2022-05-25
# Last modified: 2022-06-15
# Last modified: 2022-06-75
#
# Environment variables:
# - env CRIT: state which coverage criteria to use. Default: all
......@@ -26,7 +26,7 @@ fi
# A list of file not annotating, directly pass to orig-compiler
SKIPLIST="$SKIPLIST conftest.c CMakeFiles/"
FLAGS="-I/usr/include/ -I/usr/local/include/"
FLAGS="-I/usr/include/ -I/usr/local/include/ -I/usr/lib/llvm-13/include/c++/v1"
CFILES=
NO_COMPILE=0
......
......@@ -4,7 +4,7 @@
#
# @author Wei-Cheng Wu (wwu_at_isi.edu)
# @date Created: 2022-05-25
# Last modified: 2022-06-15
# Last modified: 2022-06-17
#
# Environment variables:
# - env CRIT: state which coverage criteria to use. Default: all
......@@ -178,6 +178,11 @@ while [[ $# > 0 ]] ;do
shift
done
if [[ "$TARGET" == *"libxml2"* ]]; then
ORIG_FLAG=$FLAGS
FLAGS="$FLAGS -DHAVE_STDLIB_H -DHAVE_TIME_H -DHAVE_RAND -DHAVE_SRAND -DHASH_RANDOMIZATION"
fi
# Annotating each C file
for cfile in ${CFILES[@]}; do
check_do_cannotate $cfile && cannotate_file $cfile
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment