aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-cpdt.sh
blob: ca759c7b39d43d412314e012799e4b0cce7517bb (plain)
1
2
3
4
5
6
7
8
9
#!/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 )