blob: 15261d852d7be13acc2046a31f4a9f783f0d29fb (
plain) (
blame)
1
2
3
4
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
|
