Problem with GPS under MacOS

[Laurent <lutgenl@icloud.com>]

Hi

I have the problem that when I work with GPS and Gnoga is with'ed that GPS 2017 is crashing. In the log I have this:
-----------------------------------
Process:               gps_exe [7461]
Path:                  /usr/local/gnat/bin/gps_exe
Identifier:            com.adacore
Version:               6.0.1 (6.0.1)
Code Type:             X86-64 (Native)
Parent Process:        ??? [1]
Responsible:           gps_exe [7461]
User ID:               501

Date/Time:             2017-08-17 21:42:20.931 +0200
OS Version:            Mac OS X 10.11.6 (15G1611)
Report Version:        11
Anonymous UUID:        5A0FB384-243D-4BD4-E463-DF298380860D


Time Awake Since Boot: 12000 seconds

System Integrity Protection: enabled

Crashed Thread:        0  Dispatch queue: com.apple.main-thread

Exception Type:        EXC_BAD_ACCESS (SIGSEGV)
Exception Codes:       KERN_PROTECTION_FAILURE at 0x00007fff5f3ffe50
Exception Note:        EXC_CORPSE_NOTIFY

VM Regions Near 0x7fff5f3ffe50:
    Stack                  00007000010f1000-0000700001173000 [  520K] rw-/rwx SM=COW  thread 12
--> STACK GUARD            00007fff5bc00000-00007fff5f400000 [ 56.0M] ---/rwx SM=NUL  stack guard for thread 0
    Stack                  00007fff5f400000-00007fff5fbf1000 [ 8132K] rw-/rwx SM=COW  thread 0

Thread 0 Crashed:: Dispatch queue: com.apple.main-thread
0   libgnat-18.dylib              	0x000000010b1237cb system__finalization_masters__finalize + 27
1   gps_exe                       	0x00000001004a1d68 ada_semantic_tree__units__get_owning_unit + 1432
--------------------------
I thought to have solved this problem.

It happens when I want to type something.

GPS 2016 seems to have the same problem but I get a beachball of death and so no crashlog.

Googling for a solution didn't really help. 32bit apps are limited by the kernel to 64MB of stack memory which are actually closer to 58MB. 

A solution would be to recompile the kernel. Hm well not really helpful.

The other solution would be to recompile the GPS with a greater stack. Hm not really helpful either.

Or using Linux. Possible but only if there is no other solution.

Are there other things I could try?

Thanks

Laurent