install python dev stuff

This commit is contained in:
Jake Howard 2017-04-26 15:14:55 +01:00
parent 2d16066cb2
commit 1dd401ad63

View file

@ -7,7 +7,7 @@ machine:
dependencies: dependencies:
pre: pre:
- sudo apt update && sudo apt install pandoc pandoc-citeproc - sudo apt update && sudo apt install pandoc pandoc-citeproc python-dev python3
- bash scripts/before_script.sh - bash scripts/before_script.sh
post: post: