| 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 |