Compilation error: cannot find -lipasircryptominisat5

[19CMB94]

When compiling pandaPIengine, I encountered the following issue (after Linking CXX executable pandaPIengine seemed to be successful):

/usr/bin/ld: cannot find -lipasircryptominisat5 collect2: error: ld returned 1 exit status make[2]: *** [CMakeFiles/pandaPIengine.dir/build.make:221: pandaPIengine] Error 1 make[1]: *** [CMakeFiles/Makefile2:257: CMakeFiles/pandaPIengine.dir/all] Error 2 make: *** [Makefile:84: all] Error 2

I tried to compile pandaPIengine with -DSAT=ON. The error occurred both on WSL and native Ubuntu.

My build configuration/environment was (on both systems):

• 20.04.2
• gcc version 9.3.0
• make 4.2.1
• cmake 3.16.3
• gengetopt 2.23