Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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'".



Archive powered by MHonArc 2.6.18.

Top of Page