Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Using makefile to install dependencies #4

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Conversation

wecacuee
Copy link

If the install script fails in the middle, you have to fix the error and rerun the entire thing. I like makefile way of handling dependencies. I just translated install script into makefile.

@kuz
Copy link
Owner

kuz commented Aug 29, 2015

Do I understand correctly that if a lua rock is already installed then Makefile will not install it anew? How the updates are handled -- will it be able to update a rock or a cloned repository if there is a change?

@wecacuee
Copy link
Author

Do I understand correctly that if a lua rock is already installed then Makefile will not install it anew?
Yes.

How the updates are handled -- will it be able to update a rock or a cloned repository if there is a change?
One can use make --always-make dependencies to force update all the rocks/repositories. In effect --always-make option will run exactly like ./install_dependencies.sh.

matanhs added a commit to matanhs/Action-Eliminating-DQN that referenced this pull request Nov 24, 2017
…ives. Added scenario kuz#4 which is designed to allow an agent to complete harder task (kill the troll)
matanhs added a commit to matanhs/Action-Eliminating-DQN that referenced this pull request Nov 24, 2017
…ives. Added scenario kuz#4 which is designed to allow an agent to complete harder task (kill the troll)
matanhs added a commit to matanhs/Action-Eliminating-DQN that referenced this pull request Nov 24, 2017
…ives. Added scenario kuz#4 which is designed to allow an agent to complete harder task (kill the troll)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants