:set -DHAVE_DEEPSEQ -isrc -i../..