language: c

compiler:
 - gcc

before_install:
  - sudo apt-get update

install:
  - sudo apt-get install fglrx opencl-headers libgmp-dev
  - ./travis/install-petite.sh
  - ./travis/install-vicare.sh

script:
  - make

language: c

compiler:
 - gcc

before_install:
  - sudo apt-get update

install:
  - sudo apt-get install fglrx opencl-headers libgmp-dev texinfo
  - ./travis/install-petite.sh
  - ./travis/install-vicare.sh

script:
  - make

Add texinfo to the packages we install.
Add texinfo to the packages we install.