There are two questions here:
- Development dependency management
- User Dependency Distribution
If all developers have serial access to the Internet and are not behind a proxy server, which makes it almost impossible for anything other than Internet Explorer (or another official IT-configured application) to escape, then when possible, I would they are automatically downloaded using sbt or Maven and do not include them in the source repository. For dependencies that cannot be managed automatically, I would include them in the source repository. If something other than Internet Explorer passes the proxy server, this exercise is useless; I would put everything in the repository. I work for a large company, and recently sbt and Maven managed to skip the proxy, but I think that in the past Maven has failed, and there are many tools that are almost impossible to overcome.
As for the distribution, I would create a build target that fastens everything I need, including dependencies, and I would be very tempted to check it for a repo so that it doesn't get lost.
source share