diff options
Diffstat (limited to 'build/setup/build')
| -rw-r--r-- | build/setup/build/ccpi.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/setup/build/ccpi.sh b/build/setup/build/ccpi.sh index 329fbdf..65dc0ef 100644 --- a/build/setup/build/ccpi.sh +++ b/build/setup/build/ccpi.sh @@ -10,4 +10,7 @@ set -o errexit [ -f CMakeLists.txt ] && bash "$script_path/cmake.sh" [ -d Wrappers/Python ] && bash "$script_path/python.sh" +# Hack for CCPi-regularization-toolkit +[ -d src/Core ] && make -C src/Core install + exit 0 |