Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -0,0 +1,35 @@ | |||
| # Build dependencies Smithril | |||
Check failure
Code scanning / shellcheck
Tips depend on target shell and yours is unknown. Add a shebang or a 'shell' directive. Error
| @@ -0,0 +1,14 @@ | |||
| install_build_dependencies_bitwuzla() { | |||
Check failure
Code scanning / shellcheck
Tips depend on target shell and yours is unknown. Add a shebang or a 'shell' directive. Error
| @@ -0,0 +1,62 @@ | |||
| # Build scripts for Smithril | |||
Check failure
Code scanning / shellcheck
Tips depend on target shell and yours is unknown. Add a shebang or a 'shell' directive. Error
| @@ -0,0 +1,10 @@ | |||
| # Build information for Smithril solver | |||
Check failure
Code scanning / shellcheck
Tips depend on target shell and yours is unknown. Add a shebang or a 'shell' directive. Error
| # Build scripts for Smithril | ||
| # Variables that any artifact of this package might depend on | ||
| setup_build_variables_smithril() { | ||
| SMITHRIL_BUILD_PATH="${BASE}/smithril-${SMITHRIL_VERSION}" |
Check warning
Code scanning / shellcheck
SMITHRIL_BUILD_PATH appears unused. Verify use (or export if used externally). Warning
| setup_build_variables_smithril() { | ||
| SMITHRIL_BUILD_PATH="${BASE}/smithril-${SMITHRIL_VERSION}" | ||
| SMITHRIL_INSTALL_PATH="${BASE}/smithril-${SMITHRIL_VERSION}-install" | ||
| SMITHRIL_SYS_INSTALL_PATH="${BASE}/smithril-sys" |
Check warning
Code scanning / shellcheck
SMITHRIL_SYS_INSTALL_PATH appears unused. Verify use (or export if used externally). Warning
| } | ||
|
|
||
| build_smithril() { | ||
| pushd "${BASE}/smithril-${SMITHRIL_VERSION}" |
Check warning
Code scanning / shellcheck
Use 'pushd ... || exit' or 'pushd ... || return' in case pushd fails. Warning
| cargo cinstall --destdir="/" --prefix="${SMITHRIL_INSTALL_PATH}" --features ipc-runner | ||
| cargo install --path "smithril-runner" --root "${SMITHRIL_INSTALL_PATH}" | ||
| ) | ||
| popd |
Check warning
Code scanning / shellcheck
Use 'popd ... || exit' or 'popd ... || return' in case popd fails. Warning
| @@ -0,0 +1,10 @@ | |||
| # Build information for Smithril solver | |||
| required_variables_smithril=( | |||
Check warning
Code scanning / shellcheck
required_variables_smithril appears unused. Verify use (or export if used externally). Warning
| "SMITHRIL_VERSION" | ||
| ) | ||
|
|
||
| artifact_dependency_smithril=("") |
Check warning
Code scanning / shellcheck
artifact_dependency_smithril appears unused. Verify use (or export if used externally). Warning
The scripts/kleef was hardcoded to use --solver-backend=smithril-tree, which caused test failures in CI configurations that don't build with Smithril support (most configurations use BITWUZLA:Z3:STP). Now the solver backend is left to KLEE's default.
1 participant
No description provided.