Compilation problem

[ashionjy]

When using the static library compilation mode, because there is no readline library, delete the -lreadline command, and the demo can be generated normally. But running demo i10.aig results in an error: demo:Command not found.

I wonder if this is because there is no linked readline library.

Here are the commands used in the compilation process:
$ make libabc.a
$ gcc -Wall -g -c demo.c -o demo.o
$ g++ -g -o demo demo.o libabc.a -lm -ldl -lpthread
$ demo i10.aig