#!/bin/bash

set -e -u

# export HOME=/home/user
export MAKEFLAGS="-j40"
echo "### $PWD / $UID / $HOME"
cd $HOME

mkdir -p wp/src
cd wp/src
cd liblepto
mkdir -p build
cd build
rm -rf *

echo "# building"
ls ..
cmake -DCMAKE_BUILD_TYPE=Debug ..
make

./tests/lepto_tests

echo "[$0] fin."
