[x] brew install 鈥攂uild-from-source cbmc (#57249)
[x] brew install 鈥攂uild-from-source mercury
[x] brew test 鈥攙erbose xidel
[x] brew install 鈥攂uild-from-source mercury
[ ] brew install 鈥攂uild-from-source opencv@3
@claui @BytesGuy you think we can get this working on Big Sur/Apple Testkit machine? I am getting:
Last 15 lines from /Users/zdavatz/Library/Logs/Homebrew/openjdk/01.configure:
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking stdio.h usability... yes
checking stdio.h presence... yes
checking for stdio.h... yes
checking size of int *... 8
configure: The tested number of bits in the target (64) differs from the number of bits expected to be found in the target (32)
configure: error: Cannot continue.
/private/tmp/openjdk-20200717-63389-nsrfz6/jdk14u-jdk-14.0.1-ga/build/.configure-support/generated-configure.sh: line 82: 5: Bad file descriptor
configure exiting with result code 1
you think we can get this working on Big Sur/Apple Testkit machine?
@zdavatz I don鈥檛 think we can do it on our own. I suspect that as with several other complex compilers/runtimes, it鈥檚 going to involve lots of custom C++ and assembly code, tailored to the CPU and OS architecture.
@claui this worked well on the Apple TestKit machine:
brew tap AdoptOpenJDK/openjdk
brew cask install adoptopenjdk8
java8 is now up and running. ;)
I suspect based on the error that configure expects arm to be 32 bits, so we'd need to specify that ARM can mean aarch64
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.