search

facebookresearch / CompilerGym

Reinforcement learning environments for compiler and program optimization tasks
https://compilergym.ai/
MIT License
906 stars 127 forks source link

In install instructions source ~/.profile #673

Closed sogartar closed 2 years ago

sogartar commented 2 years ago

The CMake installation may be the first to create ~/.local/bin, so it would not be in PATH without logging in again. This change makes sure that it is added to PATH in the same shell session.

ChrisCummins commented 2 years ago

Is ~/.profile standard? None of my systems have it. How about this?

export PATH=$HOME/.local/bin:$PATH

Cheers, Chris

sogartar commented 2 years ago

I think it is pretty standard. Whether it will add ~/.local/bin to PATH is another matter. On Ubuntu ~/.profile adds ~/.local/bin to PATH only if exists.

sogartar commented 2 years ago

I changed it to what you suggested.

ChrisCummins commented 2 years ago

Thanks. LGTM