coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

I've tried deleting Makefile.coq, along with all the other files except for 'Makefile' and the *.v files, and I still get the same error. I also get the error when running 'make clean'.

-Jason

On Sun, Jun 3, 2012 at 9:04 PM, Adam Chlipala <adamc AT csail.mit.edu> wrote:

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