Changes

Summary

Jenkns problem was unrelated, re-added sample make file. (commit: 903dc09) (details)

Commit 903dc097b170a77a6d27e9583f75c11a951cd4ac by Victor Bandur Jenkns problem was unrelated, re-added sample make file. new file: c/vdmclib/src/SampleMakefile (commit: 903dc09)
	c/vdmclib/src/SampleMakefile