VS Code has yet another LSP :-)

[Liberty Lover]

[Liberty Lover]

Ony Windows is supported at the moment. I will have to handle the cross-platforming issues soon for you Linux buffs.

Cheers,

Larry

On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com> wrote:

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/b56da639-320a-4b7a-974e-e4f4d66abaa4n%40googlegroups.com.

[Ian Joyner]

What about Apple platforms?

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com.

[Liberty Lover]

I do not own a Mac so I don't think I can facilitate that. Sorry.

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com.

[Eric Bezault]

Hi Larry,

I don't have access to Linux nor Mac, but I do manage to create
releases for Gobo Eiffel and for VS Code extension on these
platforms:

https://github.com/gobo-eiffel/gobo/releases/tag/gobo-25.12

My secret weapon: Github Actions

https://github.com/gobo-eiffel/gobo/actions/runs/20122337859

--
Eric Bezault
mailto:er...@gobosoft.com
http://www.gobosoft.com

On 12/12/2025 13:42, Liberty Lover wrote:
> I do not own a Mac so I don't think I can facilitate that. Sorry.
>
> On Fri, Dec 12, 2025 at 7:12 AM Ian Joyner <joyne...@gmail.com
> <mailto:joyne...@gmail.com>> wrote:
>
> What about Apple platforms?
>
>> On 12 Dec 2025, at 22:16, Liberty Lover <rix....@gmail.com

>> <mailto:rix....@gmail.com>> wrote:
>>
>> Ony Windows is supported at the moment. I will have to handle the
>> cross-platforming issues soon for you Linux buffs.
>>
>> Cheers,
>>
>> Larry
>>
>> On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com
>> <mailto:rix....@gmail.com>> wrote:
>>
>> <vs-code-has-simple-eiffel-vsix.png>
>>
>> --
>> You received this message because you are subscribed to the
>> Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from
>> it, send an email to eiffel-users...@googlegroups.com

>> <mailto:eiffel-users...@googlegroups.com>.

>> To view this discussion visit https://groups.google.com/d/
>> msgid/eiffel-users/b56da639-320a-4b7a-974e-

>> e4f4d66abaa4n%40googlegroups.com <https://groups.google.com/d/
>> msgid/eiffel-users/b56da639-320a-4b7a-974e-
>> e4f4d66abaa4n%40googlegroups.com?
>> utm_medium=email&utm_source=footer>.

>>
>>
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it,
>> send an email to eiffel-users...@googlegroups.com

>> <mailto:eiffel-users...@googlegroups.com>.

>> To view this discussion visit https://groups.google.com/d/msgid/
>> eiffel-users/

>> CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com <https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com?utm_medium=email&utm_source=footer>.

>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it,
> send an email to eiffel-users...@googlegroups.com

> <mailto:eiffel-users...@googlegroups.com>.

> To view this discussion visit https://groups.google.com/d/msgid/

> eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com
> <https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-
> CA94-4E34-982A-DAE71305C4EE%40gmail.com?
> utm_medium=email&utm_source=footer>.

>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send

> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.

> To view this discussion visit https://groups.google.com/d/msgid/eiffel-

> users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-
> mEo4br2COYuzA%40mail.gmail.com <https://groups.google.com/d/msgid/
> eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-
> mEo4br2COYuzA%40mail.gmail.com?utm_medium=email&utm_source=footer>.

[Ian Joyner]

Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.

It needs to be simple to set up so it does not send support departments crazy with every student needing help.

Ian

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com.

[Liberty Lover]

Hi Ian,

I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.

This is what I can afford (below). Good enough? What do you all think?

Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com.

[Ulrich Windl]

The only idea I have is that Eiffel compilation metadata "eat up a lot of disk space". CPU and RAM should be fine. Unfortunately Apple wants your best (your money) for a larger SSD.
How much disk space do your existing Eiffel projects need?

13.12.2025 12:10:23 Liberty Lover <rix....@gmail.com>:

> Hi Ian,
>
> I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.
>
> This is what I can afford (below). Good enough? What do you all think?
>

> *Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad*

>
>
> On Fri, Dec 12, 2025 at 5:08 PM Ian Joyner <joyne...@gmail.com> wrote:
>> Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.
>>
>> It needs to be simple to set up so it does not send support departments crazy with every student needing help.
>>
>> Ian
>>
>>> On 12 Dec 2025, at 23:42, Liberty Lover <rix....@gmail.com> wrote:
>>>
>>> I do not own a Mac so I don't think I can facilitate that. Sorry.
>>>
>>> On Fri, Dec 12, 2025 at 7:12 AM Ian Joyner <joyne...@gmail.com> wrote:
>>>> What about Apple platforms?
>>>>
>>>>> On 12 Dec 2025, at 22:16, Liberty Lover <rix....@gmail.com> wrote:
>>>>>
>>>>> Ony Windows is supported at the moment. I will have to handle the cross-platforming issues soon for you Linux buffs.
>>>>>
>>>>> Cheers,
>>>>>
>>>>> Larry
>>>>>
>>>>> On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com> wrote:

>>>>>> …

>>>>>
>>>>> --
>>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

>>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com?utm_medium=email&utm_source=footer].

>>>>
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com?utm_medium=email&utm_source=footer].

>>>
>>> --
>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com?utm_medium=email&utm_source=footer].

>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com?utm_medium=email&utm_source=footer].

>
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com?utm_medium=email&utm_source=footer].

[Liberty Lover]

That is a VERY good point (e.g. disk space for the entire simple_* ecosystem).

256 GB and I ought to buy another external 3-5 TB drive for the Mac so I am not stressing its main SSD.

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/f9be297e-3fc4-4bbe-8cbc-4502132d1cea%40gmail.com.

[Chris Tillman]

Perhaps you missed Eric's hint about Github Actions? You can have Github compile for you on Mac and Linux.

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjc2Z3wZ9ex_HS8CgVsvZbWibSWvj-1%2BboTYLs15oBwCzA%40mail.gmail.com.

--

Chris Tillman
Developer

[Liberty Lover]

Thank you for the reminder. I didn't miss it. I just haven't given it the attention it most likely deserves in the pipeline. :-) 

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CAO299Fs6KHtt38xgois3JXfOKx3zCD-uQnBhrmzaRQQfMHvzWw%40mail.gmail.com.

[Ian Joyner]

Hi Larry,

Yes the Mac Mini is an excellent option. 16GB should be fine for what you want. I made it 32 GB, but I run so many things at once and Safari takes a lot of memory (I have a lot of tabs open, mainly of things I mean to get back to, but usually don’t!). I got the Mac Mini 2024 10 core M4.

I also got 1TB of SSD. 256GB might be a bit of a squeeze, I think MacOS mostly fills that. Well, perhaps I’m wrong, it is saying System folder is using less than 18GB. But you will need something for Virtual Memory operation. I think I’d get 512GB, but check with your Apple dealer.

I got a Philips 31” 3840x2160 screen for a few $100s. Not as good as Apple options, but about 1/10th the price. But you probably already have screens.

Ian

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com.

[João Rocha]

Hi Larry,

It’s not possible to install macOS in a virtual machine?

The Mac mini with the spec you chose plus the external ssd would be a great choice, though. I believe it’s the most bang for the buck you can get.

João

On 13 Dec 2025, at 11:10 AM, Liberty Lover <rix....@gmail.com> wrote:



To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com.

[Liberty Lover]

Excellent feedback. Thank you, Ian!

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/ED1339A7-B2DF-4DA0-B35C-865886CBAF70%40gmail.com.

[Liberty Lover]

The VM options on a Windows PC for running a Mac are pretty bad.

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com.