"Andrew" == Andrew Mine secondmine@gmail.com 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