>>>>> "Andrew" == Andrew Mine <[email protected]> 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)
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to