The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

Hi,

I just switched from Coq 8.3pl3 to Coq 8.4beta2, and the Makefile I used for the project I'm working on no longer works; when I run make, I get

$ make

make -f Makefile.coq

make[1]: Entering directory `/cygdrive/d/Documents/Dropbox/MIT/2012 Summer/Categorical Informatics UROP/catdb'

Makefile.coq:34: *** missing separator.  Stop.

make[1]: Leaving directory `/cygdrive/d/Documents/Dropbox/MIT/2012 Summer/Categorical Informatics UROP/catdb'

Makefile:7: recipe for target `coq' failed

make: *** [coq] Error 2

The relevant line of Makefile.coq is the last line of

define donewline

endef
includecmdwithout@ = $(eval $(subst @,$(donewline),$(shell { $(1) | tr '\n' '@'; })))
$(call includecmdwithout@,$(COQBIN)coqtop -config)

My Makefile is

MODULES    := Common EquivalenceRelation Schema Category Functor ComputableCategory NaturalTransformation NaturalEquivalence FunctorCategory SmallCategory Limits CategorySchemaEquivalence Examples Theorems

VS         := $(MODULES:%=%.v)

.PHONY: coq clean

coq: Makefile.coq

$(MAKE) -f Makefile.coq

Makefile.coq: Makefile $(VS)

coq_makefile $(VS) -o Makefile.coq

clean:: Makefile.coq

$(MAKE) -f Makefile.coq clean

rm -f Makefile.coq .depend

Is there something that I'm doing wrong, or something special that I have to do to make Coq work with makefiles on windows?  Thanks.

-Jason