coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] problem installing flocq using opam

From: Michael Soegtrop <MSoegtrop AT Michael-Soegtrop.de>
To: coq-club AT inria.fr, mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
Subject: Re: [Coq-Club] problem installing flocq using opam
Date: Sun, 9 Aug 2020 10:13:56 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=MSoegtrop AT Michael-Soegtrop.de; spf=None smtp.mailfrom=MSoegtrop AT michael-soegtrop.de; spf=Pass smtp.helo=postmaster AT mo4-p00-ob.smtp.rzone.de
Ironport-phdr: 9a23:7CgnSRM+ZGIX0XICeCQl6mtUPXoX/o7sNwtQ0KIMzox0I/z5rarrMEGX3/hxlliBBdydt6sazbqL+Pm6BSQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagYL5+Nha7oAXeusULn4dvJbs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZogaxGvhyhqRxxzY3abo6bO/VxfL/Sc9wBSGpdXMtcTTBNDp+yYoYNCecKIOZWr5P6p1sLtRawAgisC//vyjBSmHD22bAx3fkmEQ7Y0wwgA8gOsHPMrN7oM6ocVv27zK7WwjXMc/NWwzD96JDTfx4moPGDQbJwftDPxkkrDg/Lk1KQppLqPzOJzOQNtHCb4/B9Wu2xkmMqrRx6rTezyMk2kIbJmp4VxU7e9SV/2Is4Jt+1RUx1b9OkDZZdtj+WOpV3T84tR2xlvCk3x6MIt5O/YCQHyJopyh/BZ/Cbb4WF5h3tWeaeLzp5h39odq6yihCv+kaj0u3xTsq53VZQoiZbj9XBtmoB2wLT58WHUPdx4Fut1DCS3A7J8O5EO1o7la/DJp4h3LEwkp0TvFzGHi/xl0j6lbeWelk49uSx7OToea/qpoSZN49okgHyKL4um824AeQ+LAcCRXWU9vqk2L3i+032XqlKg+U1n6TZqpzWO9kXq66jDwNL0osu6wyzAym63NgAmHkINlNFeBaJj4jzPFHOJej1A/CijVSrjjhryOzGPqfmApXVNXXDlbbhcqp960FG1gUzyclT54lTCr4fL/LzRlXxtNvADhMjLgO73f7rCM9h2YMGRWKPHqiZPbvOvl+P/+IjOvWDZIsIuDnmMPUl/P7vjXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2Ds0Z89FjIBuRN7R+j3gnWDVyRSbjC8ReZ04yw4BZmmRZvCWYm3gfTV2Tq4E4ZWemFZA0qNV3bpdpmBc/gJYSOWZMRml2pXe6KmTtoE1BquvQL+g4FgI+XI4CoA/cbG79946PHJkgka0D1/D82Q1yS2SGx7gnkPX3k60fYs8gRG1l6f3P0g0LRjHttJ6qYRC1poBdvn1+V/TuvKdEfBc9OOEgj0R9L6RClpFpc2yZkVZlplXc+wiRbOmSanUeZMxu67Qacs+6eZ5EDfYsN0ynLIzq4k1QB0R8pENWSrgutk8AXcG5TOiwOVmvTyLPhO7Gv27G6GiFG2kgRASgcqCPfgXHsfb0bS6O/+60zeVbi2T7gqYFNM

Hello Murkesh,

indeed interesting - I start to wonder if David is missing some per-requisite I have installed and he hasn't. On the other hand I tried my coq-platform script with an empty MacPorts (just opam) as well. As far as I can tell I have pretty much the same setup as David has (opam 2.0.7 installed via MacPorts).

Afaik homebrew tends to be more relaxed in terms of access rights - as far as I remember the first thing it does is make the /usr/local folder writable to the current user - IMHO a bad idea in terms of security.

But I would think that the opam sandbox is much more restricted, so the access right differences between MacPorts and homebrew shouldn't matter. Anyway I can't imagine remake is creating files in a folder like /usr/local, homebrew makes writable.

Best regards,

Michael

[Coq-Club] problem installing flocq using opam, David Naumann, 08/07/2020
- Re: [Coq-Club] problem installing flocq using opam, Laurent Thery, 08/07/2020
  - Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/11/2020
- Message not available
  - Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
    - Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/07/2020
      - Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
        
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
        
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/08/2020
        
        Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/08/2020
        Re: [Coq-Club] problem installing flocq using opam, mukesh tiwari, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Guillaume Melquiond, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/2020