Hi
I have used sel4-tutorial branch earlier and was able to build and run earlier. I realized that my branch is way behind, so I have cloned the new branch into a separate folder and am compiling for zynq device. I get the following build error:
[apps/hello-1] building... [HEADERS] [STAGE] autoconf.h [CC] src/main.o [CC] src/util.o [LINK] hello-1.elf sel4tutorials/stage/arm/zynq7000/lib/libsel4.a: error adding symbols: Archive has no index; run ranlib to add one collect2: error: ld returned 1 exit status make[1]: *** [hello-1.elf] Error 1 make: *** [hello-1] Error 2
Is anyone else facing this issue? I am using arm-none-eabi-gcc for compiling.
Regards Andrew
"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