Несложно установили две версии swi-пролога, необходимо помочь исправить это

Хорошо, у меня есть эта проблема, когда я установил две разные версии swi-prolog.

Я вручную установил swi-prolog (swipl) версию 5.10.4 из tar-файла, который я вижу сейчас это глупо. (Я не могу вспомнить, почему я это сделал точно, но это не относится к этому вопросу.)

Затем я хотел получить самую новую версию пролога, поэтому я выполнил следующие шаги:

Теперь, если я делаю

swipl --version

, я получаю

SWI-Prolog version 5.10.4 for x86_64-linux

И если я делаю

/usr/bin/swipl --version

, я получаю

SWI-Prolog version 6.4.1 for amd64

Я хочу только версию 6.4.1 на моем компьютере.

Я обыскал интернет в течение нескольких часов, но я не мог узнать, как решить проблему. (Возможно, я искал неправильные термины / теги, я не знаю ..)

Итак, я узнал, что версию 5.10.4 можно найти в / usr / local / bin /, тогда как версия 6.4.1 находится в / usr / bin /. Не могу ли я просто запустить версию 5.10.4 из / usr / local / bin / then? Или это не чисто, например. он оставляет устаревшие файлы где-то на диске?

Я просто удалил файл swipl в / usr / local / bin / swipl с помощью команды rm. Теперь я получаю версию 6.4.1 всякий раз, когда я называю swipl, но мне все еще интересно, является ли это хорошим решением.

Выход type swipl - swipl is /usr/local/bin/swipl, а выход dpkg -S $(type swipl | awk '{print $3}') - [ f9]

Я разобрал .tar-файл, и я запустил make из исходной папки (src), которая была в .tar-файле. Затем установите программу с помощью sudo make install.

1
задан 8 October 2013 в 19:22

0 ответов

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

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