On Wed, Apr 18, 2018 at 12:25 AM, Samuel Lelievre
<[email protected]> wrote:
> Tue 2018-04-17 17:30:26 UTC, 3kk7:
>>
>> I downloaded Ubuntu binaries from the website,
>> extracted tar, and ran make in extracted directory.
>> Attached is the error I'm getting from a package
>> called mpc-1.0.3.p0.
>
> If you download Ubuntu binaries, you do not need
> to run make. Go to the extracted directory and run
>
>     ./sage

True, though this same issue would occur if, for example, one tried to
install an optional package, or build from scratch in WSL.

The current code that enforces that the spkg-install scripts are *not*
executable, I think, to prevent SPKG authors/maintainers from making
that mistake.  However, it's not very important from an actual usage
standpoint.

So at least in the odd case where UNIX-style permissions don't work
correctly (WSL, and in some cases Cygwin depending on how it's
configure) we could soften that enforcement.  It would be good to have
a configure-time check for whether or not chmodding works correctly.
I've opened a ticket for it here
https://trac.sagemath.org/ticket/25207

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to