coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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 andWhat is this supposed to be doing exactly?
make userinstall
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
- Re: [Coq-Club] Where to put contribs as non-root, Pierre Boutillier, 10/06/2014
Archive powered by MHonArc 2.6.18.