22.09.2020

Сотрудник Red Hat представил сборочную систему Goals. Выпуск GNU Make 4.2


Ричард Джонс (Richard WM Jones), автор libguestfs, работающий в компании Red Hat, объявил о начале работы над новой сборочной утилитой Goals, нацеленной на устранение недостатков и проблем в утилите make, при сохранении общей простоты и понятности сценариев. Утилита make проектировалась в 1976 году и имеет ряд концептуальных недоработок, в Goals планируется устранить эти недоработки не меняя общей концепции.

Решаемые проблемы:

  • Поддержка только одной тактики разрешения зависимостей — «сборочная инструкция запускается если целевой файл отсутствует или он старее одной из зависимостей». В Goals планируется реализовать и другие тактики, такие как проверка наличия URL, сравнение времени изменения с любым файлом, оценка сборки пакета в Koji, сравнение контрольных сумм, запуск тестовых наборов с выборочным пропуском тестов.
  • При обработке сборочных целей утилита make не разделяет файлы и имена правил, и, как следствие, отсутствует проверка того, что при запуске правила действительно будет создан файл, создание которого заявлено. Например, если при наличии правила с именем «test», запускающего скрипты с тестами, случайно будет создан файл с именем «test», то тесты перестанут вызываться, так как make посчитает, что цель собрана и не требует выполнения каких-либо действий (для обхода проблемы в make можно указать директиву «.PHONY: test»). Goals явно разделяет файлы и имена правил.
  • Проблема с предоставлением только одного параметра для сборочных инструкций.

    В Goals предлагается использовать произвольное число именованных параметров. Например, можно отдельно выделить из имени признак отладочного файла:

  • Завязка на shell-интерпретатор. Например, необходимость контролировать экранирование пробелов в именах файлов и каталогов, трата ресурсов на запуск отдельного shell-интерпретатора при выполнении каждой команды, двойная трактовка символа «$» (используется как в shell, так и в make), учёт отступов.

    Указанные проблемы решаются в Goals использованием символа «%» вместо «$» для сборочных переменных («$» остаётся только для shell), применением парсера LALR(1), требующего обрамлять пути и имена файлов кавычками и выделять фигурными скобками блоки с кодом. Весь блок команда запускается в одном экземпляре командной оболочки, а внутри блока допускается произвольное форматирование кода, без привязки к специальным пробелам.

      Было:      target: foo.o bar.o                    ${CC} ${CFLAGS} $< -o $@           Стало:      "target": "foo.o", "bar.o" {          %CC %CFLAGS %< -o %@      }  

Другие особенности Goals:

  • Опциональная поддержка задания произвольных имён и параметров:
           goal all = : "target"         goal link =       "target" : "foo.o", "bar.o" { ... }         goal compile (name) =       "%name.o" : "%name.c", "dep.h" { %CC %CFLAGS -c $^ -o $@ }  
  • Два режима запуска: режим make для сопоставления сборочных целей с именами файлов (например, файл «foo.o» соответствует цели «%name.o»), и режим прямой компиляции:
           goal all = : link         goal link =       "target" : "foo.o", compile ("bar") { ... }         goal compile (name) =       "%name.o" : "%name.c", "dep.h" { %CC %CFLAGS -c $^ -o $@ }  
  • Тактика сборки определяется специальными правилами, при помощи которых можно определять необходимость пересборки сборочной цели. Если осуществляется привязка к наличию файла, то это явно определяется через соответствующий признак («target» для имени правила и *file(«target») для проверки файла).
        "target" : "foo.o", "bar.o" { ... }      *file("target") : *file("foo.o"), *file("bar.o") { ... }  
  • Разработчик может определять произвольные признаки сборочных тактик. Признак «*file» определён по умолчанию (@{…} указывает на подавление вывода, а «exit 99» сигнализирует о необходимости пересборки):
         tactic *file (filename) = @{        test -f %filename || exit 99        for f in %<; do            test %filename -ot "$f" && exit 99 ||:        done     }  
  • Предлагается парсер сценариев на языке goals и runtime для выполнения языка, построения графа зависимостей и параллельного запуска работ. В состав входит стандартная библиотека вспомогательных функций, которые могут определяться на shell или с использованием специфичного синтаксиса сценариев goals. Функции могут вызываться как по имени, так и по шаблону (по аналогии с языком Пролог)
          function wildcard (wc) returning strings = @{          shopt -s nullglob          wc=%wc          for f in $wc; do echo "$f"; done      }  
  • Из планов на будущее упоминается поддержка типов, отличных от строк, возможность определения значений параметров по умолчанию и поддержка анонимных функций.
          goal build (project, bool release = true) = ...      build ("foo")      build ("foo", false)        let hello = { echo "hello" }        let f = function (name, version) { CODE }      f ("goals", "0.1")  

    Тем временем, после почти четырёх лет разработки состоялся релиз системы сборки GNU Make 4.3. Кроме исправления ошибок, в новой версии можно отметить следующие улучшения:

    • Применение символа «#» внутри макроподстановок или при вызове функций теперь не обрабатывается как комментарий и не требует экранирования (например, теперь нужно писать «foo := $(shell echo ‘#’)», а «foo := $(shell echo ‘#’)» будет приводить к выводу «#»).
    • Использование оператора ‘+=’ для добавления к пустой переменной теперь не приводит к подстановке начального пробела, так же как и прикрепление пустой строки вконец переменной не приводит к добавлению финального пробела.
    • Добавлена возможность явного определения правил, генерирующих несколько сборочных целей при одном вызове. Для использования данной возможности при определении сборочной цели вместо символа «:» в правилах следует использовать «&:»;
    • Реализована переменная «.EXTRA_PREREQS», через которую можно задать необходимые для цели дополнительные компоненты;
    • В Makefile теперь допускается выставление опции ‘-j’ в переменных MAKEFLAGS для запуска в параллельном режиме;
    • Добавлена возможность использования вызова posix_spawn() вместо fork/exec;
    • Применяемый в Windows лимит на 63 параллельные работы (включая субпроцессы, запускаемые через выражения «$(shell)») увеличен до 4095;
    • Добавлена опция «—no-silent», отменяющая действие флагов «-s», «—silent» и «—quiet»;
    • Добавлен сокращённый вариант опции «—eval» — «-E»;
    • Для всех операций раскрытия по маске, включая «$(wildcard …)», теперь применяется сортировка результата (для обеспечения предсказуемого на разных платформах поведения);
    • Добавлена поддержка новых версий Си-библиотек Glibc и musl;
    • Внесены оптимизации производительности;
    • Код перемещён из корня архива в каталог src/*.

    Источник: https://www.opennet.ru/opennews/art.shtml?num=52215

Добавить комментарий