Skip to content

Commit

Permalink
Add missing step to setup list
Browse files Browse the repository at this point in the history
  • Loading branch information
operasfantom committed Feb 9, 2022
1 parent 584d68e commit a16a409
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion DEVNOTE.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,8 @@ To setup it:
2. Open **Settings > Build, Execution, Deployment > Toolchains**.
3. Add a new *Remote Host* toolchain.
4. In *Credentials* section, set up an `ssh` connection to the UTBot docker container you have. Consider enabling connection via OpehSSH authentification agent to ease files synchronization.
5. All other fields should fill in automatically.
5. In *CMake* section fill `/utbot_distr/install/bin/cmake`
6. All other fields should fill in automatically.


## Troubleshooting the build
Expand Down

0 comments on commit a16a409

Please sign in to comment.