Установка fricas в LISP
Я смотрю учебник по установке lisp.
Я нахожусь в разделе «Пошаговые инструкции для пользователей в первый раз:»
Я уже использовал подрывную функцию для получить источники. Мне кажется, мне нужно использовать lisp.
Мне говорят, что нужно выполнить команду:
../fricas/configure --with-lisp=/path/to/your/lisp --prefix=/tmp/usr
Я не знаю, что добавить в качестве /path/to/your/lisp. Чтобы получить lisp, я просто использовал
sudo apt-get install clisp
0
задан sds
4 May 2017 в 21:31
поделиться
3 ответа
Ваш lisp - /usr/bin/clisp, вы можете использовать его как есть или обнаружить его на лету, используя which:
../fricas/configure --with-lisp=$(which clisp) --prefix=/tmp/usr
или
./configure --with-lisp=/usr/bin/clisp --prefix=/tmp/usr
2
ответ дан sds
22 May 2018 в 22:55
поделиться
-
1Извините, я действительно новичок, я предполагаю вместо «../fricas / configure " Я должен написать что-то еще? – Jorge Fernández 4 May 2017 в 21:07
-
2Нет, оба ../fricas/configure и ./configure должны работать. – sds 4 May 2017 в 21:11
-
3вы очень желанны! – sds 4 May 2017 в 21:44
Ваш lisp - /usr/bin/clisp, вы можете использовать его как есть или обнаружить его на лету, используя which:
../fricas/configure --with-lisp=$(which clisp) --prefix=/tmp/usr
или
./configure --with-lisp=/usr/bin/clisp --prefix=/tmp/usr
2
ответ дан sds
18 July 2018 в 13:48
поделиться
Ваш lisp - /usr/bin/clisp, вы можете использовать его как есть или обнаружить его на лету, используя which:
../fricas/configure --with-lisp=$(which clisp) --prefix=/tmp/usr
или
./configure --with-lisp=/usr/bin/clisp --prefix=/tmp/usr
2
ответ дан sds
24 July 2018 в 20:16
поделиться