equal
deleted
inserted
replaced
14 {{{ |
14 {{{ |
15 sudo apt-get install libpng12-dev |
15 sudo apt-get install libpng12-dev |
16 }}} |
16 }}} |
17 If you want video recording, add: |
17 If you want video recording, add: |
18 {{{ |
18 {{{ |
19 sudo apt-get install libavcodec-dev libavformat-dev |
19 sudo apt-get install libavcodec-dev libavformat-dev freeglut3 |
20 }}} |
20 }}} |
21 If you want to try building the server as well (requires at least libghc base 4.3 now) try these too: |
21 If you want to try building the server as well (requires at least libghc base 4.3 now) try these too: |
22 {{{ |
22 {{{ |
23 sudo apt-get install ghc libghc-binary-dev libghc-bytestring-show-dev libghc-dataenc-dev libghc-deepseq-dev libghc-hslogger-dev libghc-mtl-dev libghc-network-dev libghc-parsec3-dev libghc-utf8-string-dev |
23 sudo apt-get install ghc libghc-binary-dev libghc-bytestring-show-dev libghc-dataenc-dev libghc-deepseq-dev libghc-hslogger-dev libghc-mtl-dev libghc-network-dev libghc-parsec3-dev libghc-utf8-string-dev |
24 }}} |
24 }}} |