По умолчанию круг версии Z3 слишком стар (apt-get install z3 дает z3-4.4.1). Я также попытался добавить ниже в config.yml, но он не установил z3 в путь. Любые другие предложения? Будем благодарны за любую ссылку из существующей настройки круга, которая использует новую версию z3!
Спасибо, Ники
- run:
name: Install z3
command: |
wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-osx-10.14.6.zip
unzip z3-4.8.7-x64-osx-10.14.6.zip
rm -f z3-4.8.7-x64-osx-10.14.6.zip
cp z3-4.8.7-x64-osx-10.14.6/bin/libz3.a /usr/local/lib
cp z3-4.8.7-x64-osx-10.14.6/bin/z3 /usr/local/bin
cp z3-4.8.7-x64-osx-10.14.6/include/* /usr/local/include
rm -rf z3-4.8.7-x64-osx-10.14.6