coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] compiling

From: Patricia Peratto <psperatto AT vera.com.uy>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] compiling
Date: Fri, 25 Sep 2020 10:28:09 -0300 (UYT)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=psperatto AT vera.com.uy; spf=Pass smtp.mailfrom=psperatto AT vera.com.uy; spf=None smtp.helo=postmaster AT mail.vera.com.uy
Dkim-filter: OpenDKIM Filter v2.9.0 mta04.in.vera.com.uy BAFF3222058
Ironport-phdr: 9a23:Kr+0Kh3fRqPwaGRAsmDT+DRfVm0co7zxezQtwd8ZseIUIvad9pjvdHbS+e9qxAeQG9mCtLQe06GI6ejJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhjexe61+IAm5oQjQqMUdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1iikIKiQ5/XnZhMJwkqxVoxCuqQFwzIHIYYGVKOFzfqbBcdwGXmVNQtpdWi5HD4ihb4UPFe0BPeNAoofnvVQOsQG+BQiwC+Pu0DBDm2X40rMg0+s7DQHGwAsgFM8JvXTMt9X1LLkdUfqvw6nU0TXDaOhb2Snj54jSaB8tu+2DXbV1ccbL1EkuFxrIg1ONooPqIz2bzP4Cs3SH7+V+T+KvjXYqpg5srzagxMohhJXFi4IaxF7E+yh3wIc4KcGmRENnY9OqH5hduS6GOoZoXM4sTGFmtDsmxrAEp5O2fysHxZclyhPZdveJcJCI7wr9WOqNPTt0nn1odK6lixu87ESs0OLxW8is3FpXrCdJjMPAum4C2hDJ5MWLV+Fx80m81TuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbGy/5gkT2jKuMekU65Oeo8f7obq/6qZ+bMo94kBz+M6Q2lsy+B+Q3LBQOUnCF9eigyLHv50L0TKlQgvA4j6XVqp/XKMUDqq68GQBV04Ij6xilDzeh1dQVhWEHLEldeB2ZlYjmIU3OIOz/DfqknVSjji1ryOrcMrL9BZXNK2LPkKrhfLpl8U5T1BIzzcxD55JTErwOPPXzWlbouNPECh85Lhe7zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0u4OerhnskkxdJdq6wmJATdXqQH/J8Ikzfb2C60fkbFmJfhgMiVu3hiVTKaTNJbmquWOpo/iojBZivEZvEbp6gmrXH1yC+WIBHMDMVQmuQGGvlIt3XE8wHbzifd5c4z240EIO5Qopk7imA8Q/3z70+frjR8ywc84zuztEz7OrW0wwjp2QtXpatllqVRmQxpVsmAjo/3aRxu0t4kwzRz6ViirpTEtkV+uIbC15mZ66Z9PRzDpXJYiyEZs2AEQ30XNi8CHc6Sdd33s5cO0s=

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.

Attachment: Ident.v
Description: Binary data

Attachment: _CoqProject
Description: Binary data

[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