coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] compiling

From: John Zhuang Hui <j-hui AT cs.columbia.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] compiling
Date: Fri, 25 Sep 2020 09:51:46 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=j-hui AT cs.columbia.edu; spf=Pass smtp.mailfrom=jzh2106 AT columbia.edu; spf=None smtp.helo=postmaster AT mx0a-00364e01.pphosted.com
Ironport-phdr: 9a23:u+Q+phI9e+EXdiAGJdmcpTZWNBhigK39O0sv0rFitYgeLvzxwZ3uMQTl6Ol3ixeRBMOHsq0C0bKd7f2ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTiwbalsIBmqognct8kbipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPhcNwgqBUrhKvqRJ83oDafp2aOeFkca/BZ94XX3ZNUtpTWiFHH4iyb5EPD+0EPetAq4f9oFsOrR2jDgavBOPv1yVHhnn53aYn0eohDADG1xEnEtIMqXjUrMj1NKYJXO+p16nE1ynMb/RS2Tfg7YjHaREhruuWUb1ubMXR1FAiGgXYhVqftYLrJSma1vgRs2eF9epgU/qihnAnpg9xvjWhycYhhpTViowaxF7J9CV0zZorKdCmR0N2Y8OoHIdSui2EKod7Qt4uTmVntis0y7AIt4O3ciYLxZkh2hXRaOSHfpCV7h/sV+udOyp0iXNrdb6lmhq//0itxvf+W8S7yFpGsDZJn93Wun0O1xHf8NWLR/pg8ku72zuDyQbe4fxeL08uj6rUMZshz6YwlpUNtUTDGTf7mED5jaOKbEoo4/Sk5/jpb7jnqZKTKZN4hhzkPqQ2gsy/AeM4MhMSX2eF5OuwzqHs/Ur8QLlSj/02lLfWsIzCKMgGqaO0ABVZ3psi5huxFTuqzdoVkHkdIF9Hdx+Ll43pNEvPIPD8A/e/mVOskDJzyvDEP7zhAovBImXfnLrgZrty90lcyA4uzdBa/J1UC6sOLOjtVUDsqdzUFgU5PBCsw+b7FNV90ZsTVn6IAq+AKa/drVuI5v80LOSXf48UuDP9K+A/6PL0jH85n0Udfaiz0pcNZnC4BKcuH0LMan31x9wFDG0ivwwkTeWshkfRfyRUYiOQWKI6rgM7FYugAs/jW4Hl1L7E3Dq6NpZNIGtBDk2JG3bhMYiIRqFfO2qpPsZ9n2lcBvCaQIg72ET27VOo+/9cNuPRvxYgm9f7ztEsuL/Yjlc58jhpCs6c2ieAQ3wmxjpZFQ9z57h2pAlG8nnG1KF5h/JCEtkKu6FCVQMnMJTdxqp3B82gA1ucLOfMc06vR5CdOR90Tt81xIVeMUNtQ9zn1kiYgXanW+ZTj6SLA4co/66a1H/0dZ5w

It sounds like you don't have make installed, or it's not on your path.

J-Hui

On Fri, Sep 25, 2020 at 09:28 Patricia Peratto <psperatto AT vera.com.uy> wrote:

The message says:

'make' is not recognized as the name of a cmdlet, function, script
or executable program.
verify if you have written the right name, the right path and
try again.

[Coq-Club] compiling, Patricia Peratto, 09/23/2020
- <Possible follow-up(s)>
- Re: [Coq-Club] compiling, Enrico Tassi, 09/24/2020
  - Re: [Coq-Club] compiling, Patricia Peratto, 09/24/2020
    - Re: [Coq-Club] compiling, Pierre Courtieu, 09/24/2020
- [Coq-Club] compiling, Patricia Peratto, 09/25/2020
  - Re: [Coq-Club] compiling, John Zhuang Hui, 09/25/2020
  - Re: [Coq-Club] compiling, Maximilian Wuttke, 09/25/2020