coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] compiling

From: Maximilian Wuttke <mwuttke97 AT posteo.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] compiling
Date: Fri, 25 Sep 2020 16:50:25 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mwuttke97 AT posteo.de; spf=Pass smtp.mailfrom=mwuttke97 AT posteo.de; spf=None smtp.helo=postmaster AT mout01.posteo.de
Ironport-phdr: 9a23:DzTj0BZW+i8dfjAbLRQ/lK7/LSx+4OfEezUN459isYplN5qZr8m+bnLW6fgltlLVR4KTs6sC17OJ9fq4EjNbqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5wIRmsswndqsYajIlsJ60s1hbHv3xEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlSEKPCM7/m7KkMx9lLxVoByhqRJiwIDabo+aO/V8cazBct0XXnZBU8VLWiBdHo+xYYkCAuwcNuhYtYn9oF4OoAO5Cwa2C+LvyzpIhn7y3a07yeshFxzN0ww9H9ISrHTUr8v6P7oVXOCwwqjI0CnDb+9V2Tjj7IXFcAssoemLXbJrbcre104vGxnYgVqOsIHoOS6e2esRvWaB9eVgSf6vhHA9qwF3ujWi2skih5fHiI8J1l3J9Tt0zYk6KNGmSEB2Yt2pHptOuiyaKod7X94uTm91tCskyrMKpJG1cicKxpg7yBPSZfiKfo6V6RztU+aRJC13hHNjeL+niBay8FSgyu3hVsavylpFsi1FktzKu3sQ1BLT8tCKRuZ+80qhwzqC1gLe5vtKLE01j6bWKp4szqYzm5cXq0jPAyD7lUTsgKOIaEko5vKk5/npb7n6oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em80brj/VDlQLlWk/E6iLHZsJfBJcQHuKG5BBVZ3Zs95BqnDjem1soXnWUfIV5Yex+Kj5LlNlDMLfziA/qygk6gnTZryvzeO73uGJTNLnzNkLf7erZ97lZRyA89zNBC+5JUFrIBL+z3V0Lzr9HYFhg5Mxeow+n5D9VxzJ4RVnyXDq+DLKzSqUOI5v4oI+SUeIAVvy/9J+E56P7qkH82gkQQfbKp3JsScHC3BO5qI0SfYXr2g9cOC30GvgQkTL+itFrXWjlKIn22QqgU5zchCYvgA52QaJqqhemk1Te6G5xSZ2lAQm+RDWvres3QXugRdD6RL54+uiQDTqSsTMkt2Ef950fB17N7I7+MqWUjvpX52Y0tvrGBpVQJ7TVxSv+l/SSVVWgtxzEQQCQq0ac5rUEvkg7Sg5g9uORREJlo390MVw47MZDGyOkjUoLqXRndc9DPRFv0G4z7UwF0dco4xpo1W2g4G9imiUmTjS+tHqNNzvqTA4co/6Wa03Wjf8s=

On 25/09/2020 15:28, Patricia Peratto 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.

That sounds like you're on M$ OS. `make` is a GNU command and usually
not available there because Win is not a UNIX-like system. Consider some
options:

- Install a GNU/Linux distribution, e.g. in a VM
- Or follow instructions here: [1]
- I think there is a command in CoqIDE that builds the project, so you
don't need to use 'make'.

Disclaimer: I never tried the second approach, I use GNU/Linux natively.
I have also not tried out the third approach.

[1]:
<https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Windows#installation-of-coq-in-wsl>

[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