Update README.md

lsils · Mar 4, 2024 · 10fd8f0 · 10fd8f0
1 parent a3b6ac9
commit 10fd8f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -9,4 +9,4 @@ Some code in mockturtle is only available when configured and compiled with the
 Compile with command `make ABC_USE_NAMESPACE=abc ABC_USE_NO_READLINE=1 ABC_USE_NO_CUDD=1 libabc.a`, then move the obtained `libabc.a` file to `mockturtle/lib/abc_static/`.
 
 ### Download a precompiled library file
-Download a precompiled library (.a) file according to your OS in [release](https://github.com/lsils/abc-staticlib/releases), then place it in `mockturtle/lib/abc_static/`.
+Download a precompiled library (.a) file according to your OS in [release](https://github.com/lsils/abc-staticlib/releases), rename it as `libabc.a` and place it in `mockturtle/lib/abc_static/`.