From 50cb50e382414d364c9fe4d2775ef145184c1a82 Mon Sep 17 00:00:00 2001 From: Rholais Lii Date: Mon, 1 Jun 2020 16:01:53 +0800 Subject: [PATCH] Fix markdown syntax --- README.md | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) 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: