dist: trusty

install:
  - sudo apt-get -qq update
  - sudo apt-get install -y linux-headers-$(uname -r)

script:
  - cat /dev/null | ./setup.sh --compile-dpdk