Not found ./build_ctxt/ path when building image from dockerfile. #3
Description
Hello! I am trying to build an image from the dockerfile file provided, but I couldn't find the file in the ./build_ctxt/ path, so the build error occurred when executing to the following code:
RUN mkdir -p /home/arslan/projects/ardupilot/ardupilot/build/Pixhawk6C/bin/ COPY ./build_ctxt/ardu/arducopter.bc /home/arslan/projects/ardupilot/ardupilot/build/Pixhawk6C/bin/ COPY ./build_ctxt/klee /app/compiler/bin/ RUN mkdir -p /app/compiler/lib/ COPY ./temp/* /lib/x86_64-linux-gnu/ RUN mkdir -p /home/arslan/projects/LBC/SVF//Debug-build/bin/ COPY ./build_ctxt/svf/* /home/arslan/projects/LBC/SVF//Debug-build/bin/ RUN mkdir -p /home/arslan/projects/KLEE/klee/build2/runtime/lib/ COPY ./build_ctxt/klee/* /app/compiler/bin/ COPY ./build_ctxt/runtime/* /home/arslan/projects/KLEE/klee/build2/runtime/lib/ RUN mkdir -p /app/partitioner/out/ COPY ./partitioner/out/* /app/partitioner/out/
I want know whether the bitcode file mentioned above, svf, klee and other projects be prepared locally or there is a ready-made version to use, thank you!