file (GLOB SOURCES
	   *.c)
add_lib (proposal SOURCES ${SOURCES})
