add infrastructure.txt, change makefile