search

riscv-software-src / riscv-pk

RISC-V Proxy Kernel
Other
596 stars 308 forks source link

make fails due to conflicting directory name #272

Closed hakkattack closed 2 years ago

hakkattack commented 2 years ago 
> make pk
riscv64-unknown-elf-gcc -Wl,--build-id=none -nostartfiles -nostdlib -static    -fno-stack-protector -o pk pk.o -L.  -lpk  -lmachine  -lsoftfloat  -lutil -lgcc -Wl,--defsym=MEM_START=0x80000000,-T,./pk/pk.lds
/opt/risc-v/tools/lib/gcc/riscv64-unknown-elf/11.1.0/../../../../riscv64-unknown-elf/bin/ld: cannot open output file pk: Is a directory
collect2: error: ld returned 1 exit status
Makefile:336: recipe for target 'pk' failed

dummy_payload, pk, etc., builds fail because there is a directory with the same name in the build/working directory.

aswaterman commented 2 years ago

Create a build directory and configure inside of that, rather than running configure inside of the repo's root.