sed не найден, но уже установлен [закрыт]

Я использую Ubuntu 13.04. Я пытаюсь установить ptxdist-2011.11.0, и когда я запускаю ./ configure , он говорит, что не находит версию sed:

    checking sed version... configure: error: we need at least GNU sed 4.x

Но когда я запускаю

sudo apt-get install sed

... уже установлен ( sed - это уже самая новая версия ).

Я проверил версию, она 4.2.2.

Кто-нибудь может сказать мне, что делать? Я не могу изменить версию ptxdist.

4
задан 23 March 2014 в 14:02

2 ответа

От ptxdist список рассылки

The check for the sed fails for newer sed versions have a different version
string. This was fixed in ptxdist-2013.01.0. If you need to use older
versions, then you need to backport the relveant fix (git commit
"2a89985 configure.ac: change regex for sed version")

, Таким образом, я рекомендую использовать последнюю версию или изменить файл configure.ac согласно фиксации мерзавца 2a89985.

git log -p 2a89985 покажет Вам изменения в той фиксации

, можно клонироваться ptxdist, использование

git clone git://git.pengutronix.de/git/ptxdist.git

изменяет текущий рабочий каталог в ptxdist репозиторий

cd ptxdist

контроль bsp ptxdist захват версии

git checkout ptxdist-2012.03.0

, фиксация фиксации

git cherry-pick 2a89985

генерирует файлы автоинструментов для buildsystem, Вам будет нужно это, потому что каталог мерзавца не делает содержит эти файлы.

./autogen.sh

установка ptxdist обычным способом (./.configure ... && make && make install)

должен быть теперь новый ptxdist двоичный файл в Вашем $PATH на корректном пути установки. Переместите bsp для того (Это хорошо, потому что мы знаем, что было только одно изменение, и это - bugfix для buildsystem и ничего не изменяет в ptxdist).

источник

0
ответ дан 23 March 2014 в 14:02

Когда Вы компилируете что-то, что зависит от sed, Вам нужен sed установленный пакет разработки. Обычно пакет разработки называют в честь фактического пакета с добавленным "-dev". Попробуйте:

склонный - получают sed-dev

установки
0
ответ дан 23 March 2014 в 14:02

Другие вопросы по тегам:

Похожие вопросы: