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 63445410+gsingla21@users.noreply.github.com