Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-07 Thread Erik Bray
On Tue, Apr 5, 2016 at 8:53 AM, alexander.stottmeister via sage-devel wrote: > I faced the same error, which appears to be caused by gcc-5.3.0. After > downgrading to gcc-4.9.3, brial compiled successfully. > I am now stuck with a segmentation fault related to doc-html. I'm starting to work on Cy

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-07 Thread alexander.stottmeister via sage-devel
The failure looks similar to http://trac.sagemath.org/ticket/11551. Any help would be appreciated :) Am Dienstag, 5. April 2016 11:53:28 UTC+2 schrieb alexander.s...@googlemail.com: > > No, start-up fails with a related(?) seg fault. > > Am Dienstag, 5. April 2016 11:50:01 UTC+2 schrieb Dima Pas

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread Francesco Biscani
On 5 April 2016 at 10:59, Dima Pasechnik wrote: > > MSYS2 has a mingw toolchain and a Cygwin toolchain. > > http://stackoverflow.com/questions/25019057/how-are-msys-msys2-and-msysgit-related-to-each-other > I did not know that msys2 also had a cygwin toolchain. But then, I don't want to touch cy

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread alexander.stottmeister via sage-devel
No, start-up fails with a related(?) seg fault. Am Dienstag, 5. April 2016 11:50:01 UTC+2 schrieb Dima Pasechnik: > > Does Sage start for you? > > On Tuesday, April 5, 2016 at 10:39:24 AM UTC+1, > alexander.s...@googlemail.com wrote: >> >> My home directory is in C:\cygwin64. Permission were mixe

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread Dima Pasechnik
Does Sage start for you? On Tuesday, April 5, 2016 at 10:39:24 AM UTC+1, alexander.s...@googlemail.com wrote: > > My home directory is in C:\cygwin64. Permission were mixed up, but after > restoring them the error persists. > Although sage is no longer complaining about DOT_SAGE permissions. >

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread alexander.stottmeister via sage-devel
My home directory is in C:\cygwin64. Permission were mixed up, but after restoring them the error persists. Although sage is no longer complaining about DOT_SAGE permissions. Am Dienstag, 5. April 2016 10:32:06 UTC+2 schrieb Dima Pasechnik: > > > > On Tuesday, April 5, 2016 at 7:56:01 AM UTC+1,

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread Dima Pasechnik
On Tuesday, April 5, 2016 at 9:38:24 AM UTC+1, bluescarni wrote: > > On 29 March 2016 at 20:41, Dima Pasechnik > > wrote: > >> (this is perhaps not quite the same as the "proper" cygwin patch - MSYS2 >> is a fork of Cygwin, >> which is sort of more developer-friendly --- perhaps we should cons

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread Francesco Biscani
On 29 March 2016 at 20:41, Dima Pasechnik wrote: > (this is perhaps not quite the same as the "proper" cygwin patch - MSYS2 > is a fork of Cygwin, > which is sort of more developer-friendly --- perhaps we should consider > switching to it) > As far as I know MSYS2 is not a fork of cygwin, it is

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-05 Thread Dima Pasechnik
On Tuesday, April 5, 2016 at 7:56:01 AM UTC+1, alexander.s...@googlemail.com wrote: > > I faced the same error, which appears to be caused by gcc-5.3.0. After > downgrading to gcc-4.9.3, brial compiled successfully. > I am now stuck with a segmentation fault related to doc-html. > It seems to c

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-04-04 Thread alexander.stottmeister via sage-devel
I faced the same error, which appears to be caused by gcc-5.3.0. After downgrading to gcc-4.9.3, brial compiled successfully. I am now stuck with a segmentation fault related to doc-html. Am Mittwoch, 30. März 2016 19:15:14 UTC+2 schrieb Witold Żarowski: > > I can confirm that I was able to compi

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-03-31 Thread Erik Bray
On Tue, Mar 29, 2016 at 8:41 PM, Dima Pasechnik wrote: > > > On Tuesday, March 29, 2016 at 6:49:27 PM UTC+1, Witold Żarowski wrote: >> >> Thanks. I could theoretically do it, if I only knew >> 1) where to get the Cygwin package for mpfr from and > > > probably you need this 2-line patch: > https:/

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-03-30 Thread Witold Żarowski
I can confirm that I was able to compile mprf using the patch you provided. Then ATLAS was compiling for ages, and after that another error occurred, this time compiling brial: libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-03-29 Thread Dima Pasechnik
On Tuesday, March 29, 2016 at 6:49:27 PM UTC+1, Witold Żarowski wrote: > > Thanks. I could theoretically do it, if I only knew > 1) where to get the Cygwin package for mpfr from and > probably you need this 2-line patch: https://github.com/Alexpux/MSYS2-packages/blob/master/mpfr/mpfr-3.1.4-1.sr

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-03-29 Thread Witold Żarowski
Thanks. I could theoretically do it, if I only knew 1) where to get the Cygwin package for mpfr from and 2) how exactly to change the spkg-install script. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop rec

Re: [sage-devel] Re: Sage 7.1 Windows 8.1 Cygwin make error

2016-03-29 Thread Erik Bray
On Sat, Mar 26, 2016 at 6:10 PM, Witold Żarowski wrote: > > On Saturday, March 26, 2016 at 5:36:02 PM UTC+1, Dima Pasechnik wrote: >> >> apparently mpfr needs a cygwin-specific patch: >> >> https://cygwin.com/cgi-bin2/package-cat.cgi?file=x86_64%2Fmpfr%2Fmpfr-3.1.4-1-src&grep=mpfr >> and it seems