Makefile logic ('sudo make install' should not screw up local stuff.)
Makefile logic ('sudo make install' should not screw up local stuff.)

ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM