On Mon, Jul 18, 2016 at 2:31 PM, Parthasarathi Susarla < Parthasarathi.Susarla@nicta.com.au> wrote:
but the current sel4test manifest points to 3.2.x-compatible tags that don't exist in most of the repos.
Sorry about the goof up. I missed out on updating seL4_libs, capdl and musllibc for 3.2.x. I've fixed this now. Thank you very much for bringing it to our notice.
Beauty, thanks! While doing a fresh build: [libs/libmuslc] building... ln: failed to create symbolic link 'include/bits': File exists /home/jdub/src/sel4test/libs/libmuslc/Makefile:81: recipe for target 'include/bits' failed make[1]: *** [include/bits] Error 1 tools/common/project.mk:306: recipe for target 'libmuslc' failed make: *** [libmuslc] Error 2 Poking around I found: jdub@sel4:~/src/sel4test$ ls ./build/x86/pc99/libmuslc/include/bits -la lrwxrwxrwx 1 jdub jdub 51 Jul 18 15:20 ./build/x86/pc99/libmuslc/include/bits -> /home/jdub/src/sel4test/libs/libmuslc/arch/x86/bits jdub@sel4:~/src/sel4test$ ls libs/libmuslc/arch/x x32/ x86_64/ x86_64_sel4/ Something to do with the ia32 / x86 transition? An x86 -> x32 symlink fixes the build. Thanks, Jeff