diff --git a/README.md b/README.md index be6178770b..6da2d62044 100644 --- a/README.md +++ b/README.md @@ -10,10 +10,10 @@ ABC is always changing but the current snapshot is believed to be stable. To compile ABC as a binary, download and unzip the code, then type `make`. To compile ABC as a static library, type `make libabc.a`. -When ABC is used as a static library, two additional procedures, `Abc_Start()` -and `Abc_Stop()`, are provided for starting and quitting the ABC framework in -the calling application. A simple demo program (file src/demo.c) shows how to -create a stand-alone program performing DAG-aware AIG rewriting, by calling +When ABC is used as a static library, two additional procedures, `Abc_Start()` +and `Abc_Stop()`, are provided for starting and quitting the ABC framework in +the calling application. A simple demo program (file src/demo.c) shows how to +create a stand-alone program performing DAG-aware AIG rewriting, by calling APIs of ABC compiled as a static library. To build the demo program @@ -59,9 +59,10 @@ The current version of ABC can be compiled with C compiler or C++ compiler. ## Building a shared library * Compile the code as position-independent by adding `ABC_USE_PIC=1`. - * Build the `libabc.so` target: - - make ABC_USE_PIC=1 libabc.so + * Build the `libabc.so` target: +```bash +make ABC_USE_PIC=1 libabc.so +``` ## Bug reporting: