Configure Makefile in SeparationLogic folder and SeparationLogic/unifysl folder Create a new file named CONFIGURE in folder SeparationLogic and folder SeparationLogic/unifysl, and the content is as ...