[SQUASH] Build solver with Makefile rules