coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: Re: [Coq-Club] Installing Floats8.2.tgz with coq_makefile

From: Michael<michaelschausten AT googlemail.com>
To: coq-club AT inria.fr
Subject: Re: Re: [Coq-Club] Installing Floats8.2.tgz with coq_makefile
Date: Fri, 29 Oct 2010 22:08:18 +0200

Both of your hints together helped solve the problem. With 8.2-1.2 I still had
to create a makefile myself, and with coq_makefile -R . Floats `find . -name
*.v` > Makefile && make, it finally worked withouth producing any errors.
Thanks to both of you.

[Coq-Club] Installing Floats8.2.tgz with coq_makefile, Michael
- Re: [Coq-Club] Installing Floats8.2.tgz with coq_makefile, Frederic Blanqui
- Re: [Coq-Club] Installing Floats8.2.tgz with coq_makefile, Jianzhou Zhao
- <Possible follow-ups>
- Re: Re: [Coq-Club] Installing Floats8.2.tgz with coq_makefile, Michael