coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Makefiles for Coq 8.4beta2

From: Adam Chlipala <adamc AT csail.mit.edu>
To: Jason Gross <jasongross9 AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Makefiles for Coq 8.4beta2
Date: Sun, 03 Jun 2012 21:04:05 -0400

Jason Gross wrote:

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

Probably all you need to do is delete Makefile.coq before running 'make'.

[Coq-Club] Makefiles for Coq 8.4beta2, Jason Gross, 06/04/2012
- Re: [Coq-Club] Makefiles for Coq 8.4beta2, Adam Chlipala, 06/04/2012
  - Re: [Coq-Club] Makefiles for Coq 8.4beta2, Jason Gross, 06/04/2012
    - Re: [Coq-Club] Makefiles for Coq 8.4beta2, Pierre Boutillier, 06/04/2012