Skip to content

Commit f09a2f8

Browse files
Simplify custom InfiniTime dir instructions for docker workflow (#179)
Update the `docker` example for using a custom InfiniTime repo. We're already mounting the InfiniTime repo into the container. So it is easier to mount it over the default location instead of mounting it somewhere else and then provide the "somewhere else" path with the `InfiniTime_DIR` cmake variable. Co-authored-by: NeroBurner <pyro4hell@gmail.com>
1 parent 7bdf038 commit f09a2f8

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -131,9 +131,9 @@ podman run --rm -it -v ${PWD}:/sources infinisim-build
131131
```
132132

133133
By default this builds the simulator using the InfiniTime files from the submodule in your `${PWD}`.
134-
If you want to use a different repository, you got to mount it and pass the path to the `INFINITIME_DIR` variable:
134+
If you want to use a different repository, the easiest way is to mount over the default submodule location in the container at `/sources/InfiniTime`:
135135
```sh
136-
docker run --rm -it -v ${PWD}:/sources -v ${PWD}/../InfiniTime:/infinitime -e INFINITIME_DIR=/infinitime --user $(id -u):$(id -g) infinisim-build
136+
docker run --rm -it -v ${PWD}:/sources -v ${PWD}/../InfiniTime:/sources/InfiniTime --user $(id -u):$(id -g) infinisim-build
137137
```
138138

139139
Other CMake generation and build arguments can be passed to the `GENERATE_ARGS` and `BUILD_ARGS` variables:

0 commit comments

Comments
 (0)