language: cpp matrix: include: - os: linux addons: apt: packages: - libreadline-dev - os: osx osx_image: xcode8 before_install: - brew update - brew install readline script: - make -j2 abc - ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" - make libabc.a - gcc -Wall -c src/demo.c -o demo.o - g++ -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread - ./demo i10.aig