Re: macOS status

[Chun Tian (binghe)]

Greetings!

On 31/01/24 03:28, Camm Maguire wrote:
> Greetings!
> 
> Given this unless anyone objects I will backout the readlinkat configure
> workaround and fail the build if readlinkat is not found.  We would need
> a workable substitution if we wanted a workaround in any case and do not
> have one yet.
> 
> BTW, axiom, acl2, maxima, hol88, and fricas are all supported by gcl
> 2.6.14 across all Debian/Ubuntu platforms at present.  I expect some
> issues with 2.7 given the magnitude of changes, but the fricas
> developers have said they have already tried it with success.

I haven't tried to build Axiom for long time on Linux (I'm trying with
GCL 2.6.14 and Debian 12 now). On macOS, currently the only GCL version
I succeeded in building Axiom (and GCL itslef!) is GCL 2.6.12 release
(with a little Axiom patches), on Mac OS X 10.6 Server. Then the
resulting Axiom binaries can run normally on all macOS versions after
10.6, including the latest 14 (Sonoma).

> 
> I have an old mac virtualbox which I never use except at the last point
> in gcl releases.  Nonetheless I have fired it up, and run into the
> problem that sed cannot put newlines into the replacement text.  You
> guys are surely past this point.  I know next to nothing about macosx
> versions and software installations -- perhaps you could point me to a
> hopefully painless way to upgrade this virtualbox image to the latest
> reasonable without destroying it.

The problem is that unmodified macOS cannot run in VirtualBox running on
Linux/Windows - it's forbidden by Apple. If you try to upgrade your
working macOS virtual machine to a new version by running the downloaded
macOS installer from Apple official, I'm almost 100% sure that it won't
reboot normally after the installation...

On the other hand, no matter what macOS version you have in your working
VirtualBox VM, if you can make the GCL 2.7.0 (and perhaps the 2.6.x
branch) build and run successfully, I think by large chances it may also
work on other macOS versions without any modifications.

P.S. unlike the previous case of Solaris x86, I cannot prepare for you a
VirtualBox VM image with macOS installed (for VirtualBox on Linux),
because I don't know how to do that. I simply own an Intel MacBook Pro
and then I run all macOS VMs versions ranged from 10.5 to 14 by VMware
Fusion.

--Chun

> 
> Take care,
> 
> "Chun Tian (binghe)" <binghe.lisp@gmail.com> writes:
> 
>> Greetings,
>>
>> I was watching this thread closely. Thank you both so much. Now I
>> finally see some hopes in building GCL under latest macOS (Sonoma, I'm
>> using Intel mac).
>>
>> I think it's OK to ignore macOS versions where readlinkat() is not
>> available, because on those old platforms GCL 2.6.12 at least works.
>>
>> P. S. Once GCL 2.7 is working, I'll try my best to get AXIOM working
>> with it.
>>
>> --Chun
>>
>> On 30/01/24 01:51, Camm Maguire wrote:
>>> Greetings!  Found it, thanks so much!  You should be good to go now on
>>> master. Please let me know if problems persist.
>>>
>>> Take care,
>>>
>>> Kirill A. Korinsky <kirill@korins.ky> writes:
>>>
>>>> On Mon, 29 Jan 2024 04:37:55 +0100,
>>>> Camm Maguire wrote:
>>>>>
>>>>> But configure did not detect it in your problem build?
>>>>>
>>>>
>>>> As far as I see it did:
>>>>
>>>>   configure:9002: checking for readlinkat
>>>>   configure:9002: /usr/bin/clang -o conftest -pipe -fno-pie
>>>> -isysroot/Library/Developer/CommandLineTools/SDKs/MacOSX12.sdk -arch
>>>> x86_64 -Wno-implicit-function-declaration -g -fsigned-char -pipe
>>>> -fcommon -fno-builtin-malloc -fno-builtin-free -fno-PIE -fno-pie
>>>> -fno-PIC -fno-pic -Wall -Wno-builtin-requires-header -Wno-empty-body
>>>> -Wno-self-assign -Wno-unused-but-set-variable
>>>> -Wno-incomplete-setjmp-declaration -m64 -I/opt/local/include
>>>> -isysroot/Library/Developer/CommandLineTools/SDKs/MacOSX12.sdk
>>>> -L/opt/local/lib -Wl,-headerpad_max_install_names -fno-pie
>>>> -Wl,-syslibroot,/Library/Developer/CommandLineTools/SDKs/MacOSX12.sdk
>>>> -arch x86_64 -Wl,-no_pie -m64 -Wl,-headerpad,72 conftest.c >&5
>>>>   configure:9002: $? = 0
>>>>   configure:9002: result: yes
>>>
>>
>

signature.asc
Description: OpenPGP digital signature