On Wednesday, August 17, 2016 at 9:05:25 AM UTC+1, Jeroen Demeyer wrote:
>
> On 2016-08-16 22:28, Volker Braun wrote:
> > gdb on OSX should work, the only issue is that Apple decided that only
> > root shall have sufficient permissions to use it (PTRACE)
>
> So in practice it doesn't work :-)
On 2016-08-16 22:28, Volker Braun wrote:
gdb on OSX should work, the only issue is that Apple decided that only
root shall have sufficient permissions to use it (PTRACE)
So in practice it doesn't work :-)
--
You received this message because you are subscribed to the Google Groups
"sage-devel
On Wed, Aug 17, 2016 at 12:43 AM, Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
> Hi,
>
> On 16/08/16 09:07, Jeroen Demeyer wrote:
>>
>> On 2016-08-16 14:04, Erik Bray wrote:
>>>
>>> Hi all,
>>>
>>> Is there a make target for building/installing all *optional* packages
>>> as well as the sta
Hi,
On 16/08/16 09:07, Jeroen Demeyer wrote:
On 2016-08-16 14:04, Erik Bray wrote:
Hi all,
Is there a make target for building/installing all *optional* packages
as well as the standard ones?
First of all: not every optional package should be installed. There are
packages like gmp and python
On Tuesday, August 16, 2016 at 2:07:43 PM UTC+2, Jeroen Demeyer wrote:
>
> There might be others too, like gdb on OS X doesn't work.
>
gdb on OSX should work, the only issue is that Apple decided that only root
shall have sufficient permissions to use it (PTRACE)
--
You received this message b
On 2016-08-16 14:04, Erik Bray wrote:
Hi all,
Is there a make target for building/installing all *optional* packages
as well as the standard ones?
First of all: not every optional package should be installed. There are
packages like gmp and python3 which should not mindlessly be installed.
Hi all,
Is there a make target for building/installing all *optional* packages
as well as the standard ones? There doesn't seem to be but I wanted
to make sure. How are optional packages tested normally? I could do
it with a few lines of shell but it seems to me there should be a
simpler way.