내 특별한 관심사는 Ubuntu 12.04에 Toshiba AC100(armhf distro)용 "coq"를 설치하는 것입니다. armhf용으로 성공적으로 구축되지 않았지만 armel에서는 작동합니다.https://answers.launchpad.net/ac100/+question/218291.
그렇다면 armhf Ubuntu 시스템에 armel Ubuntu 패키지를 설치할 수 있습니까? 작동할까요?
답변1
최신 버전의 Debian(≥ wheezy) 또는 Ubuntu(≥ 11.10 oneiric)에서 가능합니다. 감사합니다.다중 아키텍처지원하다. 데비안 패키징 도구는 동일한 시스템에 여러 아키텍처용 패키지 설치를 지원합니다. 두 개의 병렬 시스템을 효과적으로 설치하게 됩니다. 하나는 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새 아키텍처에 대한 패키지 목록을 다운로드합니다. armel용 Coq 패키지를 설치하려면:
apt-get install coq:armel