Skip to content

set faiss related *san options #626

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

Merged
merged 4 commits into from
Apr 4, 2025
Merged

set faiss related *san options #626

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ea16b4a
set faiss related *san options
dothebart Mar 27, 2025
392c41a
set library dir of the respective compiler
dothebart Mar 27, 2025
e607e4c
dequote
dothebart Mar 27, 2025
ffb833a
de-duplicate /
dothebart Apr 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 22 additions & 0 deletions helper.linux.fish
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,28 @@ function compiler
end
end

function compiler_libraries
set -l cversion $argv[1]

if test "$cversion" = ""
set -e COMPILER_VERSION
return 0
end

switch $cversion
case 13.2.0
set -xg COMPILER_LIB_DIR /usr/lib/gcc-13/lib
case clang16.0.6
set -xg COMPILER_LIB_DIR /usr/lib/llvm-16/lib

case clang19.1.7
set -xg COMPILER_LIB_DIR /usr/lib/llvm-19/lib

case '*'
echo "unknown compiler version $cversion"
end
end

function opensslVersion
set -l oversion $argv[1]

Expand Down
6 changes: 4 additions & 2 deletions scripts/lib/buildSanFlags.fish
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,11 @@ function buildSanFlags --argument SRCDIR
# Enable full SAN mode
# This also has to be in runRTAtest.fish
if not test -z "$SAN"; and test "$SAN" = "On"
compiler_libraries "$COMPILER_VERSION"
echo "Use SAN mode: $SAN_MODE"
set common_options "log_exe_name=true:external_symbolizer_path=$INNERWORKDIR/ArangoDB/utils/llvm-symbolizer-client.py"

set -xg ARCHER_OPTIONS verbose=1
set -xg OMP_TOOL_LIBRARIES "$COMPILER_LIB_DIR/libarcher.so"
switch "$SAN_MODE"
case "AULSan"
# address sanitizer
Expand Down Expand Up @@ -43,7 +45,7 @@ function buildSanFlags --argument SRCDIR

# suppressions
if test -f "$SRCDIR/tsan_arangodb_suppressions.txt"
set -xg TSAN_OPTIONS "$TSAN_OPTIONS:suppressions=$INNERWORKDIR/ArangoDB/tsan_arangodb_suppressions.txt:print_suppressions=0"
set -xg TSAN_OPTIONS "$TSAN_OPTIONS:suppressions=$INNERWORKDIR/ArangoDB/tsan_arangodb_suppressions.txt:print_suppressions=0:ignore_noninstrumented_modules=1"
end

echo "TSAN: $TSAN_OPTIONS"
Expand Down