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 | |
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)
-rw-r--r-- | .appveyor.yml | 39 | ||||
-rw-r--r-- | .travis.yml | 26 | ||||
-rw-r--r-- | readme.md | 5 |
3 files changed, 69 insertions, 1 deletions
diff --git a/.appveyor.yml b/.appveyor.yml new file mode 100644 index 00000000..c706ed8c --- /dev/null +++ b/.appveyor.yml @@ -0,0 +1,39 @@ +version: '{build}' + +environment: + + matrix: + + - APPVEYOR_BUILD_WORKER_IMAGE: "Visual Studio 2017" + VCVARS_SCRIPT: "C:\\Program Files (x86)\\Microsoft Visual Studio\\2017\\Community\\VC\\Auxiliary\\Build\\vcvarsall.bat" + VCVARS_PLATFORM: x86 + +init: + + - cmd: '"%VCVARS_SCRIPT%" %VCVARS_PLATFORM%' + +build_script: + + - cmd: | + sed -i 's#ABC_USE_PTHREADS"#ABC_DONT_USE_PTHREADS" /D "_XKEYCHECK_H"#g' *.dsp + awk 'BEGIN { del=0; } /# Begin Group "uap"/ { del=1; } /# End Group/ { if( del > 0 ) {del=0; next;} } del==0 {print;} ' abclib.dsp > tmp.dsp + copy tmp.dsp abclib.dsp + del tmp.dsp + unix2dos *.dsp + + - cmd: | + appveyor PushArtifact abcspace.dsw + appveyor PushArtifact abclib.dsp + appveyor PushArtifact abcexe.dsp + + - cmd: | + devenv abcspace.dsw /upgrade || dir + appveyor PushArtifact UpgradeLog.htm + msbuild abcspace.sln /m /nologo /p:Configuration=Release + + - cmd: | + _TEST\abc.exe -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" + + - cmd: | + appveyor PushArtifact _TEST/abc.exe + 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 @@ -1,3 +1,6 @@ +[![Build Status](https://travis-ci.org/berkeley-abc/abc.svg?branch=master)](https://travis-ci.org/berkeley-abc/abc) +[![Build status](https://ci.appveyor.com/api/projects/status/7q8gopidgvyos00d?svg=true)](https://ci.appveyor.com/project/berkeley-abc/abc) + # ABC: System for Sequential Logic Synthesis and Formal Verification ABC is always changing but the current snapshot is believed to be stable. @@ -17,7 +20,7 @@ To build the demo program * Copy demo.cc and libabc.a to the working directory * Run `gcc -Wall -g -c demo.c -o demo.o` - * Run `gcc -g -o demo demo.o libabc.a -lm -ldl -rdynamic -lreadline -ltermcap -lpthread` + * Run `g++ -g -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread` To run the demo program, give it a file with the logic network in AIGER or BLIF. For example: |