codeworld on AWS

[Tim Docker]

I found these instructions for setting up codeworld a little light on details:

https://github.com/google/codeworld/blob/master/README.md

Here’s a complete record of everything I had to do to get the system up and running on an AWS instance running amazon linux:

https://gist.github.com/timbod7/54c95ae537f01461bac3

Hopefully others may find this useful. I’d love to know if any of these steps can be made faster or simplified.

Tim

[Chris Smith]

Tim, this is great! Do you mind if I make some changes (such as an
option to use apt-get instead of yum) and add it to the repository?

> --
> You received this message because you are subscribed to the Google Groups "codeworld-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to codeworld-disc...@googlegroups.com.
> To post to this group, send email to codeworl...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/codeworld-discuss/CFF4E6C9-8825-442B-912C-5D0EF6D30BDF%40dockerz.net.
> For more options, visit https://groups.google.com/d/optout.

[Tim Docker]

Of course.. Go ahead.

The script worked fine early yesterday just pulling HEAD from the appropriate git branches. It subsequently broke due to new commits. I tried to lock things down by referencing specific commits, but this didn't work as "ghcjs-boot --dev" pulls the latest from several git repos in any case.

It does seen that ghcjs is currently a slightly fragile dependency under active development. Hopefully it will all settle down soon.

Tim

To view this discussion on the web visit https://groups.google.com/d/msgid/codeworld-discuss/CAPq5PvKF65SCCS93s0FTNQB%2BEDwZCk%2B7nMKZq_epEBAB9bwA3w%40mail.gmail.com.

[Chris Smith]

Indeed. Luite is actively working on a 1.0 release for GHCJS, and
when that happens, ghcjs-boot (note, no --dev option) will pull from
hackage instead of github. I also hope this happens soon, so that
CodeWorld can build against released code!

Thanks for sharing your script.

> https://groups.google.com/d/msgid/codeworld-discuss/CALepXs9%2BjRTxVYaKUqwfbpw3CckNAPPr8TqLqpgU5KtmSZVaWg%40mail.gmail.com.