diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2018-03-10 17:42:26 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2018-03-11 05:08:57 -0700 |
| commit | c339c6f7f1d740558e1cfb4d6ba6eed818edb654 (patch) | |
| tree | da94e5ab73e8f7b256d0a6f6062397f3e1534dc5 /.travis.yml | |
| parent | 3d16d44cffde878e0927ad16e7fa348f0749bd1c (diff) | |
| download | abc-c339c6f7f1d740558e1cfb4d6ba6eed818edb654.tar.gz abc-c339c6f7f1d740558e1cfb4d6ba6eed818edb654.tar.bz2 abc-c339c6f7f1d740558e1cfb4d6ba6eed818edb654.zip | |
Continuos integration support of both Travis CI (Linux and macOS) and Appveyor (Windows)
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 00000000..3a8e243a --- /dev/null +++ b/.travis.yml @@ -0,0 +1,26 @@ +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 |