File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -53,7 +53,7 @@ USER ubuntu
5353# Section for interactive compilation during docker run
5454
5555WORKDIR /sources
56- # Directory if InfiniTime source code
56+ # Directory of InfiniTime source code
5757ENV INFINITIME_DIR="/sources/InfiniTime"
5858# Passed to CMake generate step
5959ENV GENERATE_ARGS=""
@@ -62,5 +62,5 @@ ENV BUILD_ARGS=""
6262# Build directory
6363ENV BUILD_DIRECTORY="build"
6464
65- CMD ["bash" , "-c" , "cmake -S . -B ${BUILD_DIRECTORY} -G Ninja -DInfiniTime_DIR=${INFINITIME_DIR } ${GENERATE_ARGS} \
65+ CMD ["bash" , "-c" , "cmake -S . -B ${BUILD_DIRECTORY} -G Ninja -DInfiniTime_DIR=${InfiniTime_DIR } ${GENERATE_ARGS} \
6666 && cmake --build ${BUILD_DIRECTORY} ${BUILD_ARGS}" ]
Original file line number Diff line number Diff line change @@ -124,7 +124,7 @@ Afterwards you can build the simulator with:
124124docker run --rm -it -v ${PWD} :/sources infinisim-build
125125```
126126
127- By default this builds the InfiniTime from the submodule in your ` ${PWD} ` .
127+ By default this builds the simulator using the InfiniTime files from the submodule in your ` ${PWD} ` .
128128If you want to use a different repository, you got to mount it and pass the path to the ` INFINITIME_DIR ` variable:
129129``` sh
130130docker run --rm -it -v ${PWD} :/sources -v ${PWD} /../InfiniTime:/infinitime -e INFINITIME_DIR=/infinitime infinisim-build
You can’t perform that action at this time.
0 commit comments