Move Docker files over to make-haros-easy

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

191 stars 37 forks source link

Move Docker files over to make-haros-easy #104

Closed git-afsantos closed 3 years ago

git-afsantos commented 3 years ago

Docker is just a convenience to install and set up HAROS. Take the Docker files out of this repository, and move them over to the new convenience repository, make-haros-easy.

ipa-nhg commented 3 years ago

A suggestion: https://github.com/git-afsantos/make-haros-easy/pull/1

If the previous PR get merged, the folder docker of this repository should be removed.

git-afsantos commented 3 years ago

Will do. Thanks for the PR!