43839d1090
It was a bit awkward using `mgmt run lang --lang <input>` so instead, we now drop the --lang, and read the positional argv for the input. This also does the same for the --yaml frontend.
15 lines
326 B
Plaintext
15 lines
326 B
Plaintext
Welcome to the mgmt hacking VM.
|
|
|
|
Please make sure that your authorized key for GitHub is added to the SSH agent
|
|
on the host machine (see `ssh-add -l`).
|
|
|
|
You can jump into the mgmt repo with the alias `cdmgmt`.
|
|
|
|
To get started, try:
|
|
|
|
$ cdmgmt
|
|
$ make clean build
|
|
$ ./mgmt run --tmp-prefix lang examples/lang/hello0.mcl`
|
|
|
|
Enjoy!
|