set -x

brew install gnutls
brew install cmake
git clean -dfx
git submodule init
git submodule update
cmake -DCMAKE_BUILD_TYPE=debug .
make -j2
make install
task --version

pushd test
make
./run_all
cat all.log | grep 'not ok'
./problems
