Continuos integration support of both Travis CI (Linux and macOS) and Appveyor (Windows)

.appveyor.yml

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

.travis.yml

+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

readme.md

+[![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: