When making a global installation with 'sudo make install', it showed an error of user mismatch while creating intall_manifest.txt. As in command it's root but folder in under different user. 'chmod -R o+rw .' will help a lot of users with installation. "setenv CPATH "/usr/local/include/boolector/:$PATH"" will help to globalize all related header files.
When making a global installation with 'sudo make install', it showed an error of user mismatch while creating intall_manifest.txt. As in command it's root but folder in under different user. 'chmod -R o+rw .' will help a lot of users with installation. "setenv CPATH "/usr/local/include/boolector/:$PATH"" will help to globalize all related header files.
Signed-off-by: Gourish Singla singlagourish0@gmail.com