GNU Hello — программа демонстрирующая основные инструменты, используемые при разработке в рамках проекта GNU. С недавнего времени этот проект стал использовать git в качестве системы контроля версий. Данный переход соответствует общим тенденциям и позволяет удобнее использовать такие библиотеки, как gnulib.

>>> Подробности

GNU Prolog - это свободный компилятор для языка программирования Prolog.

Главные изменения новой версии:

• Флаг strict_iso включен по умолчанию (был выключен в предыдущих версиях).
• Если флаг strict_iso prolog выключен, то термы типа callable_term больше нельзя использовать вместо predicate_indicator.
• Предикат predicate_property/2 больше не принимает predicate_indicator в качестве первого аргумента. Предоставлен предикат '$predicate_property_pi'/2 реализующий прежнее поведение predicate_property/2.
• predicate_property теперь может получать информацию об управляющих конструкциях (таких как (',')/2, (;)/2, !/0,...). Им соответствуют свойства: built_in, control_construct.
• Добавлена поддержка shebang синтаксиса для запуска программ. ( #!/usr/bin/gprolog --consult-file).
• Реализована ISO директива multifile/1

А так же теперь GNU Prolog выходит под двойной лицензией GPL или LGPL, портирован на x86_64/MinGW и x86_64/MSVC, сделано много небольших изменений и багфиксов.

>>> Подробности

Представители проекта GNU Telephony опубликовали разъяснения по поводу дела компании i4i, в результате которого может быть упрощен процесс защиты от патентных претензий. В тексте рассказывается о том, что данное изменение позволит Microsoft вести большее количество судебных разбирательств, не боясь крупных потерь в случае проигрыша оных.

Подробности по делу i4i

>>> Подробности

Сегодня я прочитал, с опозданием всего на год, претензии к исключениям для библиотек времени выполнения в gcc. Проблема в следующем: данные исключения позволяют лицензировать бинарный продукт под любой лицензией, но GPLv2 требует, чтобы соответствующий исходный код был выложен под GPLv2-совместимой лицензией, в то время как библиотеки времени выполнения идут под лицензией GPLv3 + исключения. Казалось бы, тут можно сказать, что libgcc — это «системная библиотека» в терминах лицензии, но и тут подвох: исключение в GPLv2 для системных библиотек действует, судя по всему, только если они не распространяются вместе с программой. Таким образом, в дистрибутив нельзя класть gcc версии 4.4.0 и старше вместе со скомпилированными им GPLv2-only программами.

Тут сразу возникает два вопроса: решена ли эта проблема? Я не нашел решения, кроме «мы считаем, что если разработчик использует в продукте библиотеки с несовместимыми GPL-лицензиями, то он неявно даёт разрешение на линковку с ними, но лучше, если бы он давал их явно» в gpl-faq. И второй вопрос: на сколько я помню, в комплекте SFU были какие-то куски GPLv2-кода. SFU распространяется в комплекте с Windows Vista Ultimate. Не являются ли эти два факта нарушением GPL cо стороны MS?

gcc exception

Совместимость лицензий

>>> GPLv2