Local Paths in Makefile #1
Description
Dear developpers,
I tried to compile rime but the makefile contains paths (/home/xbendik/bin/cadical/src and /home/xbendik/bin/cadical/build) to cadical that must be overwritten by the user.
I successfully compiled he code by overwriting these paths in the Makefile. However, I think it would be simpler to add an option to specify the path to cadical. In any case, it should be explained in the README file.
Best regards