Если Вы интересуетесь улучшением ресурса аккумулятора, то Вы должны верная попытка Юпитер (хотя источники, которые будут скомпилированы). Основная документация доступна по http://sourceforge.net/apps/mediawiki/jupiter/index.php?title=About
Это должно быть возможно с последними версиями Debian (≥ хрипящий) или Ubuntu (≥ 11,10 сновещательных) благодаря Мультисупинатору. Debian упаковочные пакеты установки поддержки инструментов больше чем от одной архитектуры в той же системе. Вы эффективно установили бы две параллельных системы, один с программами и библиотеками, скомпилированными для armhf и один с программами и библиотеками, скомпилированными от armel. Обратите внимание, что я не говорю от личного опыта за armel/armhf комбинацию; это, как предполагается, работает, но я не знаю, были ли все ошибки сглажены уже (комбинация мультидуги, которая добирается, большая часть внимания является amd64/i386). Существует успех или испытывает отчеты: поток списка рассылки Linaro, сообщение в блоге cnxsoft.
Библиотеки собственного кода установлены в различных каталогах (/lib/arm-linux-gnueabi
и /lib/arm-linux-gnueabihf/
), таким образом, у Вас могут быть обе версии в Вашей системе, это - просто вопрос дискового пространства. Другие файлы установлены в том же каталоге для каждого архитектура, таким образом, у Вас может только быть один (например, все исполняемые файлы находятся в /bin
или /usr/bin
). В частности, если Вам нужен OCaml, я думаю, что Вы только сможете иметь armel один или armhf один.
Прочитайте практическое руководство мультидуги для того, как настроить Вашу систему (это для Debian, но это должно относиться к установке вещей вручную на Ubuntu также). Во-первых, объявите armel как дополнительную архитектуру в Вашей системе:
echo foreign-architecture armel >> /etc/dpkg/dpkg.cfg.d/architectures
От wheezy/quantal вперед, выполняет это вместо этого:
dpkg --add-architecture armel
Затем выполненный apt-get update
загружать списки пакета для новой архитектуры. Устанавливать пакет Coq для armel:
apt-get install coq:armel
emacsen-common
архитектурно-независимый пакет, таким образом, зависимость должна быть уже удовлетворена путем установки его. Проблема состоит в том, что диспетчеру пакетов нужно сказать это. Это все еще имеет место в quantal. Это - ошибка в пакете, который может быть тривиально зафиксирован путем добавленияMulti-Arch: foreign
к полям элемента управления пакета. Можно сделать это вручную в/var/lib/dpkg/status
(бойтесь повреждать что-либо еще), но необходимо было бы сделать это на каждом обновлении. – Gilles 'SO- stop being evil' 04.01.2013, 22:54/var/lib/dpkg/status
: Пакет: emacsen-общее Состояние: установите хорошо установленную Мультидугу: внешний, но это не помогаетapt-get install coq:armel
... – imz -- Ivan Zakharyaschev 05.01.2013, 00:44apt-get
чтения отavailable
, не отstatus
. Вручную редактированиеavailable
движение не должно работать, оно было бы перезаписано каждый раз, когда Вы работаетеapt-get update
. Вы могли восстановить пакеты (emacsen-common
и независимо от того, что другой пакет имеет ту же проблему), но необходимо было бы сделать тот каждый раз, когда существует обновление (хорошо, не будет многих с этим пакетом). Я думаю, что было бы легче скомпилировать Coq вручную, это довольно просто, если у Вас есть работа Ocaml. Ocaml работает (включая компилятор собственного кода)? – Gilles 'SO- stop being evil' 05.01.2013, 00:55/var/lib/dpkg/
, Я также должен был сделать эти редактирования для emacsen-общего в/var/lib/apt/lists/
(ports.ubuntu.com_ubuntu-ports_dists_precise_main_binary-armel_Packages
иports.ubuntu.com_ubuntu-ports_dists_precise_main_binary-armhf_Packages
) прежде чем это работало. Подобные вещи документируются в ubuntuforums.org/showpost.php?p=12430257&postcount=6. – imz -- Ivan Zakharyaschev 05.01.2013, 01:49