Re: [seL4] Build Error

...

...

...

...

"Andrew" == Andrew Mine writes:

Andrew> [apps/hello-1] building... Andrew> [HEADERS] Andrew> [STAGE] autoconf.h Andrew> [CC] src/main.o Andrew> [CC] src/util.o Andrew> [LINK] hello-1.elf Andrew> sel4tutorials/stage/arm/zynq7000/lib/libsel4.a: error adding symbols: Archive has no index; run ranlib to add one collect2: Andrew> error: ld returned 1 exit status make[1]: *** [hello-1.elf] Andrew> Error 1 make: *** [hello-1] Error 2 Andrew> Is anyone else facing this issue? I am using arm-none-eabi-gcc Andrew> for compiling. I just checked out a fresh copy and tried to reproduce this, but could not. Earlier in the build log you should have seen [STAGE] autoconf.h [CC] src/sel4_bootinfo.o [AR] libsel4.a objs: src/sel4_bootinfo.o to create the archive. My guess is that your toolchain isn't up to date, or you're running out of disk space somewhere. I'm using 4.9.3. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)