Integrate abstract machine into makefile