Я так понял нужна была библиотека "libisl.so.10". Поискал её на просторах всемирной поутины и нашёл - "libisl.so.10.2.2". Копировал её в папку "/usr/lib/x86_64-linux-gnu" и сделал на неё ссылку "ln -s libisl.so.10.2.2 libisl.so.10" в той же папке. Опять сделал make, и о чудо, библиотеку "libisl.so.10", больше не просит. Теперь другая проблема. Не может найти заголовочный файл "stdio.h".
Siemargl wrote:он в путях, указанных в -L ищет библиотеку libc.a (lib- и .a дописываются автоматически)
это скомпилированная библиотека стандартных ф-ций newlib
ключик -g лишний, т.к. отладчика С под колибри нет
ну и для уменьшения бинарника потом применить к нему strip
Понятно, но тем не менее, проблему с линкером это не решает. Видимо, это дело дохлое, поэтому перехожу на TCC.
Вот, приложу чтобы далеко не бегать libc.a для статической линковки
libc.dll.a для динамической - там немного другая строка будет -T app-dynamic.lds -lgcc -lc.dll
Для колибри был tcc, мне кажется для небольшого приложения это проще чем устанавливать весь пакет и выполнять необходимые настройки.
Единственное не помню где лежит.
Siemargl wrote:Вот, приложу чтобы далеко не бегать libc.a для статической линковки
libc.dll.a для динамической - там немного другая строка будет -T app-dynamic.lds -lgcc -lc.dll
Положить в gcc/lib.
Это для gcc 5.4
Спасибо, но необходимости в libc.a нет, так как она включена в toolchain от Serge.
Всё-таки решил продолжить разбираться с kos-gcc. Долго думал и понял, что линкеру "kos32-ld" не хватало библиотеки "libc.a". Надо было, прописать к ней путь в командной строке. Теперь линкует.