path: root/dev/ci/ci-cpdt.sh

#!/usr/bin/env bash

ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"

wget http://adam.chlipala.net/cpdt/cpdt.tgz
tar xvfz cpdt.tgz

( cd cpdt && make clean && make )