Re: [sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread Marc Culler
This looks pretty complicated. I used XCode 15.0.1 to build the macOS SageMath-10-3 app for Arm and XCode 13.4 for Intel. I got "duplicate rpaths" and "duplicate libraries" warnings with 15.0.1 but not with 13.4. I pasted typical gcc commands (from cvxopt) below. You can see that: (1) Both co

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread TB
On 25/04/2024 15:28, Nathan Dunfield wrote: In another direction: I have started a port of Sage to pyodide, the distribution of Python for WebAssembly (WASM), which makes Python runnable directly in the brow

Re: [sage-devel] VOTE: Revert merged PR with unreviewed dependencies

2024-04-25 Thread Volker Braun
On Tuesday, April 23, 2024 at 6:24:51 PM UTC+2 seb@gmail.com wrote: The problem with this is: if there are commits on a branch that are reviewed in more than one PR, the question is: does *positive review* mean *all* or *some* PR's? The review is for a single PR, not for individual commits

Re: [sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread Marc Culler
Thanks. The xcode-select command always exists. What works is to run the command with stderr redirected to /dev/null and then check $?. I will open a PR. - Marc On Thursday, April 25, 2024 at 4:05:34 PM UTC-5 John H Palmieri wrote: > I also don't know when the linker was fixed and whether we ne

Re: [sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread John H Palmieri
I also don't know when the linker was fixed and whether we need to support systems on which it is still broken. Anyway, if you want to open up a PR to avoid the call to xcode-select, I'd be happy to take a look. We could also revive some version of the branch at #36337 to filter out the warnings

Re: [sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread John H Palmieri
Take a look at the discussion at https://github.com/sagemath/sage/pull/36337, in particular https://github.com/sagemath/sage/pull/36337#issuecomment-1741293729. I saw both "duplicate rpath" warnings and "duplicate library" warnings. Some (maybe all, at least at that point) of the duplicate rpat

Re: [sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread Marc Culler
Hi John, I have noticed that .dylib files generated by Sage often have as many as 3 identical rpaths. (When building the macOS app I remove all rpaths and replace them with a single rpath which is relative, meaning it starts with @loader_path. Apple will not notarize app bundles with absolute rp

[sage-devel] Re: Question: why does /usr/bin/gcc get called during Sage startup?

2024-04-25 Thread John H Palmieri
Hi Marc, I just tried building Sage without `-ld-classic`. It builds, but I get warnings about "ignoring duplicate libraries", and those cause doctest failures. The lines could be modified to test whether xcode-select is present and executable first, or since Sage now does indeed build without

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread dimpase
On Thu, Apr 25, 2024 at 07:03:29AM -0700, Marc Culler wrote: > On Thursday, April 25, 2024 at 8:28:48 AM UTC-5 Dima Pasechnik wrote: > > Essential components of sagelib such as GAP, Singular, don't run on > native Windows > > > I was amused to find the following statement on the GAP forum > <

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread dimpase
On Thu, Apr 25, 2024 at 08:09:48AM -0700, Marc Culler wrote: > The GAP project provides a native Windows installer > . > > So, evidently, it is possible to build GAP for Windows. They do not seem > to provide b

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Marc Culler
The GAP project provides a native Windows installer . So, evidently, it is possible to build GAP for Windows. They do not seem to provide build instructions for Windows, however. - Marc On Thursday, April 25

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Marc Culler
Another amusing quote, this time from the sbrk man page on macOS: > The brk and sbrk functions are historical curiosities left over from > earlier days before the advent of virtual memory management. That seems to be a paraphrase of the FreeBSD man page, which says: > The brk() and sbrk() funct

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Marc Culler
On Thursday, April 25, 2024 at 8:28:48 AM UTC-5 Dima Pasechnik wrote: Essential components of sagelib such as GAP, Singular, don't run on native Windows I was amused to find the following statement on the GAP forum from 2005: > W

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Dima Pasechnik
On 25 April 2024 14:47:35 BST, Marc Culler wrote: >On Thu, Apr 25, 2024 at 8:28 AM Dima Pasechnik wrote: > >> On Thu, Apr 25, 2024 at 1:28 PM Nathan Dunfield >> wrote: >> > >> > On Wednesday, April 24, 2024 at 10:14:09 PM UTC-5 Matthias Koeppe wrote: >> > >> > Yes, native Windows would clearl

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Marc Culler
On Thu, Apr 25, 2024 at 8:28 AM Dima Pasechnik wrote: > On Thu, Apr 25, 2024 at 1:28 PM Nathan Dunfield > wrote: > > > > On Wednesday, April 24, 2024 at 10:14:09 PM UTC-5 Matthias Koeppe wrote: > > > > Yes, native Windows would clearly be a very important target. > > > > > > As a data point, dow

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread 'Martin R' via sage-devel
Another example is large-scale pure math computation on clusters. Because of Sage's size and the nature of distributive file systems, the time to startup Sage can be 30 seconds or more, which complicates things if you want to do 100,000 calculations that are only 10 seconds each. I agree th

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Dima Pasechnik
On Thu, Apr 25, 2024 at 1:28 PM Nathan Dunfield wrote: > > On Wednesday, April 24, 2024 at 10:14:09 PM UTC-5 Matthias Koeppe wrote: > > Yes, native Windows would clearly be a very important target. > > > As a data point, downloads of our stand-alone SnapPy app, which is about as > high level pure

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Nathan Dunfield
On Thursday, April 25, 2024 at 2:17:31 AM UTC-5 Martin R wrote: I agree that my terminology is not good. I tried to make a distinction between research involving math and the - to me unknown - rest. I find it hard to imagine that any mathematician would bother installing anything else but all

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread Nathan Dunfield
On Wednesday, April 24, 2024 at 10:14:09 PM UTC-5 Matthias Koeppe wrote: Yes, native Windows would clearly be a very important target. As a data point, downloads of our stand-alone SnapPy app, which is about as high level pure math as it gets, are 60% higher for Windows than macOS. In anothe

Re: [sage-devel] Re: Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-25 Thread 'Martin R' via sage-devel
On Thursday 25 April 2024 at 05:13:37 UTC+2 Matthias Koeppe wrote: On Wednesday, April 24, 2024 at 1:07:44 AM UTC-7 Martin R wrote: You mentioned several times, that discoverability is an important aspect. Do you have any evidence to support that? I mentioned "discoverability" in the contex