coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Where to put contribs as non-root

From: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Where to put contribs as non-root
Date: Mon, 06 Oct 2014 12:32:12 -0400

On 10/06/2014 12:28 PM, Pierre Boutillier wrote:

The idea of Tom Prince has been implemented and

make userinstall

What is this supposed to be doing exactly?

Is this supposed to be part of the general coqmakefile machinery, and should I be able to run "make userinstall" in for example the ssreflect sources root? There I get a "No rule to make target `userinstall'".

[Coq-Club] Where to put contribs as non-root, Robbert Krebbers, 10/06/2014
- Re: [Coq-Club] Where to put contribs as non-root, Pierre Boutillier, 10/06/2014
  - Re: [Coq-Club] Where to put contribs as non-root, Robbert Krebbers, 10/06/2014
- Re: [Coq-Club] Where to put contribs as non-root, Vincent Laporte, 10/06/2014
  - Re: [Coq-Club] Where to put contribs as non-root, Robbert Krebbers, 10/06/2014