diff options
author | Marvin Borner | 2019-09-22 14:25:59 +0200 |
---|---|---|
committer | Marvin Borner | 2019-09-22 14:25:59 +0200 |
commit | 62dbd80ef075057e584138a5ec9b194352d84d42 (patch) | |
tree | ebb3c3fe93a60a3ea9ae5b15c624e6519b93e950 /.travis.yml | |
parent | baa222bb0847b8153a00a8cbf67cfbb9694325b9 (diff) |
Added Travis CI build
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000..15261d8 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,5 @@ +before_install: + - sudo apt-get update + - sudo apt-get install -y build-essential bison flex libgmp3-dev libmpc-dev libmpfr-dev texinfo libcloog-isl-dev libisl-dev + +script: make cross build
\ No newline at end of file |