makefile for proposal