diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2022-01-21 22:51:36 +0200 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2022-01-22 18:34:43 +0200 |
| commit | 554a1693ac2bd81169b28227ea718527136f5e7e (patch) | |
| tree | 5c359e8506c2ba9ddcd49abdbb494377aca609b1 /.travis.yml | |
| parent | 5b8fa41ba966271f97f99860b21eee83bf51e61a (diff) | |
| download | abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.gz abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.bz2 abc-554a1693ac2bd81169b28227ea718527136f5e7e.zip | |
Move CI to GitHub Actions.
Also, a few minor changes that are required to compile ABC under moder compilers.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index b9add8c4..00000000 --- a/.travis.yml +++ /dev/null @@ -1,36 +0,0 @@ -language: cpp - -matrix: - include: - - - os: linux - addons: - apt: - packages: - - libreadline-dev - - - os: linux - addons: - apt: - packages: - - libreadline-dev - env: - MAKE_ARGS: ABC_USE_NAMESPACE=xxx - DEMO_ARGS: -DABC_NAMESPACE=xxx - - - os: osx - osx_image: xcode10 - addons: - homebrew: - packages: - - readline - -script: - - - make ${MAKE_ARGS} -j2 abc - - ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" - - - make ${MAKE_ARGS} libabc.a - - g++ ${DEMO_ARGS} -Wall -c src/demo.c -o demo.o - - g++ -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread - - ./demo i10.aig |