search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

re-add 'hyst' command #53

Closed MaxGaukler closed 5 years ago

MaxGaukler commented 5 years ago

The script which provides the 'hyst' shortcut for 'java -jar Hyst.jar' was accidentally removed in 93552275fe94229bcbb74435d6309ce95f969d40

Re-add it because it is referenced in the documentation (Dockerfile comments).

All tests pass.

MaxGaukler commented 5 years ago

@stanleybak Is my interpretation correct that you accidentally removed the 'hyst' shortcut and it's okay to re-add it, or would you prefer to keep it removed and also remove all remaining references from the documentation (e.g. near the bottom of the Dockerfile)?

stanleybak commented 5 years ago

I'd rather update the documentation to just run the .jar file explicitly rather than through the shortcut:

docker run hyst java -jar /hyst/src/Hyst.jar

MaxGaukler commented 5 years ago

Okay, then I'll submit an updated pull request for the documentation soon.