Предполагая, что вы можете заставить lablgtk работать, это, вероятно, ваш лучший выбор на данный момент.
Чтобы это заработало: пробовали ли вы перестраивать lablgtk после удаления X11 GTK и установки Quartz GTK?LablGTK, построенный на X11 GTK, естественно, не будет работать на Quartz GTK, поскольку он будет связан с неверной библиотекой, но восстановление может быть успешным.Может также случиться, что LablGTK не сможет правильно определить, что интеграционные вызовы X11 не работают и, следовательно, не могут быть собраны, но я ожидаю, что это будет не слишком сложно исправить, поскольку LablGTK действительно поддерживает Windows.
Если вы разрабатываете код для GTK на Mac, он должен отлично работать на других платформах.Конечно, вы захотите проверить это, но это должно сработать.Будьте осторожны, чтобы использовать средства GTK для правильной работы порядка диалоговых кнопок.
Я думаю, что когда-то был набор привязок OCaml к wxWidgets, но, похоже, они не используются широко и wxбольно работать с моим опытом.Также была проделана некоторая работа по созданию привязок Qt, что было бы замечательно, но я не думаю, что есть какие-либо проекты с хорошим прогрессом в этом направлении.
Если пользовательский интерфейс - маленький кусочекваш проект, вы можете посмотреть на отделение его от бэкэнда и написание пользовательского интерфейса на C ++ с помощью Qt или написание собственных платформенных интерфейсов, а также на то, чтобы пользовательский интерфейс вызывал код OCaml во встроенной среде выполнения для выполнения реальной работы.Но это, вероятно, больше работы и может не принести вам большой пользы, в зависимости от вашего приложения.
Итак: GTK - ваш лучший вариант в текущей среде.