1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/bin/bash
set -eo pipefail
# Ensure the script is being executed in its containing directory
cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )";
# TBD: verbose? any extra args?
source ./pretty_printing.sh
pushd .. > /dev/null
GROUP_NAME="🛠️ CMake Configure Libcudacxx Codegen"
run_command "$GROUP_NAME" cmake --preset libcudacxx-codegen
status=$?
popd > /dev/null
pushd .. > /dev/null
GROUP_NAME="🏗️ Build Libcudacxx Codegen"
run_command "$GROUP_NAME" cmake --build --preset libcudacxx-codegen
status=$?
popd > /dev/null
pushd .. > /dev/null
GROUP_NAME="🚀 Test Libcudacxx Codegen"
run_command "$GROUP_NAME" ctest --preset libcudacxx-codegen
status=$?
popd > /dev/null
|
