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