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 /readme.md | |
| 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 'readme.md')
| -rw-r--r-- | readme.md | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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: |