fix(build): tweaking makefile for llvm-seahorn
fix(build): tweaking makefile for llvm-seahorn

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