export PETSC_DIR=/usr/lib/petsc64
export SLEPC_DIR=/usr/lib/slepc64

export MSHR_LIB_NAME_EXT=64
export DOLFIN_LIB_NAME_EXT=64

echo "=== python unit tests for 64-bit build ==="
python3 -m pytest -v test/test.py

echo "=== python demo tests for 64-bit build ==="
DEMO_TEST_DIR=$AUTOPKGTEST_TMP
cp -r /usr/share/doc/python3-mshr/examples ${DEMO_TEST_DIR}
python3 -m pytest -v ${DEMO_TEST_DIR}/examples/test.py
