This repository was archived by the owner on Oct 12, 2026. It is now read-only.
File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 55
66set -eu
77
8- SCRIPTS_DIR_PATH =" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
9- ROOT_PATH =" $( cd " $SCRIPTS_DIR_PATH /.." && pwd) "
10- BUILD_DIR=" $ROOT_PATH /cmake-build-debug"
11- VENV_DIR=" $ROOT_PATH /venv"
8+ SCRIPTS_DIR =" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
9+ ROOT_DIR =" $( cd " $SCRIPTS_DIR /.." && pwd) "
10+ BUILD_DIR=" $ROOT_DIR /cmake-build-debug"
11+ VENV_DIR=" $ROOT_DIR /venv"
1212
1313# Install dependencies.
14- sudo bash " $SCRIPTS_DIR_PATH /install.sh"
14+ sudo bash " $SCRIPTS_DIR /install.sh"
1515
1616# CMake Project Setup.
1717mkdir -p " $BUILD_DIR "
1818cd " $BUILD_DIR "
19- cmake " $ROOT_PATH "
19+ cmake " $ROOT_DIR "
2020cmake --build " $BUILD_DIR "
2121
2222# Python Environment Setup.
Load diff This file was deleted.
Original file line number Diff line number Diff line change 11#! /usr/bin/env bash
22set -eu
33
4- LBD=" cmake-build-debug/lbd"
5- TESTS_DIR_PATH=$( dirname " ${BASH_SOURCE[0]} " )
6- IGNORE_FILE_PATH=" $TESTS_DIR_PATH /ignore_tests.list"
4+ TESTS_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
5+ ROOT_DIR=" $( cd " $TESTS_DIR /.." && pwd) "
6+ LBD=" $ROOT_DIR /cmake-build-debug/lbd"
7+ IGNORE_FILE=" $TESTS_DIR /ignore_tests.list"
78
89# Enable colored output, when inside TTY mode.
910if [ -t 1 ]; then
1011 RED=" \033[0;31m"
1112 GREEN=" \033[1;32m"
12- YELLOW=" \033[1;33m"
1313 BLUE=" \033[0;34m"
14- CYAN=" \033[0;36m"
1514 GRAY=" \033[0;90m"
1615 RESET=" \033[0m"
1716else
1817 RED=" "
1918 GREEN=" "
20- YELLOW=" "
2119 BLUE=" "
22- CYAN=" "
2320 GRAY=" "
2421 RESET=" "
2522fi
@@ -39,7 +36,7 @@ while read -r source; do
3936 total=$(( total+ 1 ))
4037
4138 # If file is present inside ignore list; then continue.
42- if [ -f " $IGNORE_FILE_PATH " ] && grep -Fxq " $source " " $IGNORE_FILE_PATH " ; then
39+ if [ -f " $IGNORE_FILE " ] && grep -Fxq " $source " " $IGNORE_FILE " ; then
4340 log_note " Skipping tests for \" $source \" ."
4441 skipped=$(( skipped+ 1 ))
4542 continue
Load diff This file was deleted.
Load diff This file was deleted.
You can’t perform that action at this time.
0 commit comments