diff options
| -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 @@ +[](https://travis-ci.org/berkeley-abc/abc) +[](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: |