language: c
compiler:
  - gcc
  - clang

install:
  - ./get-deps.sh
  - make cudd
script:
  - make all
  - make check

notifications:
  email: false
language: c
compiler:
  - gcc
  - clang

install:
  - ./get-deps.sh
  - make -e cudd
script:
  - make -e all
  - make -e check

notifications:
  email: false
Allow env overrides of makefile to facilitate CI
BUILD: Allow env overrides of makefile to facilitate CI
