Сборка программы без Stdlib

Ссылки

• Discuss. Build a project without Stdlib

Для отключения стандартной библиотеки можно использовать недокументированные возможности, а именно флаги -nostdlib и -nopervasives. Смотрите репозиторий.