I've built Sage in WSL before, its really a pretty standard Ubuntu. OP's problem is that he's building it on /mnt/c/, the mounted windows filesystem. That one is not POSIX so there is little chance. You have to build it on the internal WSL filesystem, which is fully POSIX compatible.
On Saturday, February 22, 2020 at 8:17:26 PM UTC+1, Dima Pasechnik wrote: > > I don't think anyone managed to build Sage on WSL. > > > On Sat, 22 Feb 2020, 19:47 Tanav Shah, <ts...@cs.iitr.ac.in <javascript:>> > wrote: > >> Hi >> >> I have downloaded the source code for SageMath from >> https://www.sagemath.org/download-source.html and am willing to >> contribute for the same. I have been following the steps provided in this >> page >> http://doc.sagemath.org/html/en/installation/source.html#prerequisites, >> but am getting an error while building. >> >> When running the 'make' command, I get an error that "[arb-2.16.0.p0] >> spkg-install should not be marked executable in the build/pkgs directory" >> and it displays "Error building Sage". I have been trying to find a >> solution to it but have not found one. I am working on HP-SPECTRE with >> Windows-10 Home installed in it. I am using Windows Subsytem for Linux(WSL) >> Ubuntu 18.04 LTS for executing the commands. I have attached the error log >> files. >> >> Can someone please help me solve this issue? >> >> Thanks in advance, >> Tanav Shah >> >> -- >> 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 sage-...@googlegroups.com <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/cd9d5155-d82b-4e99-9b65-654d423c6671%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/cd9d5155-d82b-4e99-9b65-654d423c6671%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/fbf2ef82-1e8d-4994-bfd4-d4e683f4f67d%40googlegroups.com.
