System
General
The information on this page is subject to change. Please check later for definitive information
The machines are mini-PCs based on Intel's Next Unit of Computing. They have an Intel® Core™ i5-4250U processor, 16GB RAM, and a 60GB SSD harddrive. The machines run Linux Mint 17 which is based on Ubuntu 14.04.
You are allowed to bring your own keyboard. These should be handed in at the registration together with your Team Reference Document. Note that keyboards with pre-programmed macro keys are not allowed. Wireless keyboards are also not allowed. We provide a simple mouse and it is not allowed to bring your own mouse.
You may request that we add editors and other programs, but we do not guarantee that we can accommodate your request. The deadline for requests is Monday November 9th.
Compilation Options
- C: gcc -g -O2 -std=gnu99 -static -lm
- C++: g++ -g -O2 -static -std=gnu++11
- Java compilation:
javac -encoding UTF-8 -sourcepath . -d . - Java runtime:
java -Xss64m
Window Managers
- Linux Mint with Mate
Compilers
- C/C++: GCC 4.8.4 (Ubuntu 4.8.4-2ubuntu1~14.04)
- Java: java version "1.7.0_85" (Note that this page, mistakenly, said Java 8 would be used. This was an error.)
- OpenJDK Runtime Environment (IcedTea 2.6.1) (7u85-2.6.1-5ubuntu0.14.04.1)
- OpenJDK 64-Bit Server VM (build 24.85-b03, mixed mode)
Editors
- Emacs 23.4.1
- Emacs 24.3.1
- Vim 7.4
- GVim 7.4
- Geany 1.23
- Gedit 3.10.4
- Kate 3.13.3
- Eclipse 3.8.1 with CDT 8.3
- Eclipse 4.4
- IntelliJ Ultimate 14
- CodeBlocks 13.12
Other
- clang 3.4-lubuntu3 (based on LLVM 3.4)
- gdb 7.7
- libstdc++6-4.7-dbg (STL debug symbols and pretty printers)
- make 3.81
- cmake 2.8.12
- ddd 3.3.12
- Valgrind 3.10.0
- git 1.9.1
- mate-terminal 1.8.0 (terminal with scalable fonts)
- Python 2.7.6 (not as a submission language!)
- Python 3.4.0 (not as a submission language!)
- Perl 5.18 (not as a submission language!)
- GHCi 7.6.3 (not as a submission langauge!)
Documentation
Offline copies of the follwing sources will be available:
