git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
191 stars 37 forks source link

[WIP] Docker configuration #54

Closed ipa-nhg closed 5 years ago

ipa-nhg commented 5 years ago

I created an example of docker container for HAROS:

git-afsantos commented 5 years ago

Thanks for sharing, @ipa-nhg! I have not tried it yet, but it looks like all the dependencies are there, at least.

I imagine a solution like https://github.com/git-afsantos/haros/compare/master...ipa-nhg:Docker?expand=1#diff-26d799904e46e9b10198c6a9eebd0e69R12 and adding to the call the argument "$(< index.yaml)"

I agree. That file changes from use case to use case, so it has to be a parameter somewhere.

I have to review the HAROS visualiser, this is not working. At least for me.

How so? Does it raise some kind of error, or does it not serve the page at the address?

git-afsantos commented 5 years ago

I assume this PR can be closed, as the work is being continued on #60 by @erogleva, right?

git-afsantos commented 5 years ago

It is confirmed that #60 is intended to replace this PR, so I am closing it.