coq/coq — pull request #7 by JasonGross (2014-01-16 22:35:39+00:00)
Title: Makefiles use $(foo), not $foo, for variables

Also, we need :=, so that it's evaluated immediately, rather than becoming a self-recursive variable. This fixes the "Undefined variable 'C'" error that make keeps spewing.