build.sh

来自「最快速的可满足性分析工具软件」· Shell 代码 · 共 10 行

#!/bin/sh
./build_satelite.sh
echo ============================
echo " Done building preprocessor "
echo ============================
make rsat
echo ============================
echo "     Done building RSat     "
echo ============================