ITL Linux Build
This page summarizes how the ITL Lab Build is maintained.
Currently the build is running Ubuntu 10.10 LTS. When packages requested by the instructors or security updates are required, they are applied to one machine and then cloned out to the rest of the machines. This process occurs roughly at the beginning of every semester. The ITL is the only student run lab on campus.
Contents
- 1 Installed packages
- 1.1 Basic packages
- 1.2 Course Requests
- 1.2.1 CS141: Introduction to Computer Science
- 1.2.2 Parallel Computing
- 1.2.3 CS242: Advanced Programming Concepts in Java
- 1.2.4 CS458: Formal Methods for Software Verification
- 1.2.5 Mainframe DataCenter
- 1.2.6 CS445: Compiler Construction
- 1.2.7 Game Development
- 1.2.8 CS458: Programming Language
- 1.2.9 Cryptograph
- 1.2.10 CS444: Operating System
- 1.2.11 Computer Network
- 1.2.12 MA451: Math Teaching
- 1.2.13 SC334: Bioinformatics
- 1.2.14 Package Removed
- 2 ITL Linux build maintenance
Installed packages
Basic packages
Common Users
Openoffice- LibreOffice
- Dia
- Gimp
- Firefox
- VLC media player
Terminal Server Client(VNC)
Install: sudo apt-get install xvnc4viewer Usage: In TSC, vnc protocol is enabled.
- Xfig
- Octave
- Netbeans
- Python
- Anjuta IDE
- MySQL Workbench
- Audacity
- Inkscape
- emacs
- vim
- clisp
- mplayer
- medibuntu
- libtool
- screen
- nasm
- snort
- logwatch
- honeyd
- DenyHosts
Lab Users
- Latex
- Texmaker
- subversion
Install: sudo apt-get install svn Configuration: Edit .subversion/config to disable storing the passwords [auth] store-passwords = no store-auth-creds = no Usage: ... ...
- SUN Java JDK
Install: sudo apt-get install sun-java6-jdk sudo update-java-alternatives -s java-6-sun
- DJVU
vim-gnome
Install: sudo apt-get install vim-gnome
Course Requests
CS141: Introduction to Computer Science
- gcc
- g++
- make
Install: sudo apt-get install build-essential
Parallel Computing
- MPI
Install: sudo apt-get install libopenmpi-dev libopenmpi1 openmpi-bin openmpi-common openmpi-doc Usage: ...
CS242: Advanced Programming Concepts in Java
- Sun Java
http://www.oracle.com/technetwork/indexes/downloads/index.html
- Oracle Netbeans
http://www.oracle.com/technetwork/java/javase/downloads/jdk-netbeans-jsp-142931.html
CS458: Formal Methods for Software Verification
- Alloy Analyzer
http://alloy.mit.edu/community/
Usage: jave -jar alloy4.jar
- NuSMV
Install: sudo apt-get install texlive-fonts-recommended texlive-latex-recommended Download: Link is here: http://nusmv.fbk.eu/ Go to NuSMV-2.5.2/cudd-2.4.1.1/ make Go to NuSMV-2.5.2/MiniSat/ ./build.sh Go to NuSMV-2.5.2/nusmv/ ./configure sudo make install
- Pi Verifying Compiler
Install: sudo apt-get install ocaml ocamlp4 Download: yices, copy to pivc/pivc/bin/Linux Usage: change the directory to pivc/pivc/bin run ./piVC Link is here: http://theory.stanford.edu/~arbrad/pivc/download/index.html
Mainframe DataCenter
- tn3270
Install: sudo apt-get install x3270
CS445: Compiler Construction
- Lex
Install: sudo apt-get install flex
- Yacc
Install: sudo apt-get install bison
Game Development
- Blender
- OpenGL
- freeglut
- Ogre 1.6 needed
download from http://www.ogre3d.org/download/source sudo apt-get install libfreetype6-dev libboost-date-time-dev libboost-thread-dev nvidia-cg-toolkit libfreeimage-dev zlib1g-dev libzzip-dev libois-dev libcppunit-dev doxygen libxt-dev libxaw7-dev libxxf86vm-dev libxrandr-dev libglu-dev sudo apt-get install cmake cmake . make make doc make install
- OpenCV
CS458: Programming Language
- DrScheme
- MITScheme
http://groups.csail.mit.edu/mac/projects/scheme/
- GNU Prolog
- SWI Prolog
- [GNU Common LISP]
...
- Python
- Java
Cryptograph
- Crypto++
- Openssl
- Number Theory Library (NTL)
CS444: Operating System
- readline library
Install: sudo apt-get libreadline5-dev Usage: #include <readline/readline.h>
- VMware Station
- ncurse library
Install: sudo apt-get install libncurses5 Usage: mainly for make menuconfig
- valgrind
<source lang="bash"> Install: sudo apt-get install valgrind
Usage: csguest:~>valgrind --leak-check=full ./your_command </source>
- manpage for pthread
Install: sudo apt-get install manpages-posix manpages-posix-dev
Computer Network
- wireshark
MA451: Math Teaching
- Latex on Windows side
- Texlive2000
- No Texniccenter(Math Profs don't like its AI)
Helpful Link: http://www.artofproblemsolving.com/LaTeX/AoPS_L_Downloads.php
*Miktex: choose Page Size Letter *TexnicCenter: choose Miktex path C:/Program Files/Miktex2.*/Miktex/bin
SC334: Bioinformatics
- MEGA 5 - Molecular Evolutionary Genetics Analysis
Link: http://www.megasoftware.net/beta/index.php Install package: http://www.megasoftware.net/beta/download.php?email=jschulte@clarkson.edu&location=primary&version=win-5.0b7
- Modelgenerator
Link: http://bioinf.may.ie/software/modelgenerator/
- ClustalX
Link: http://www.clustal.org/download/current/clustalx-2.1-win.msi
Package Removed
- Evolution
- gnome-games
ITL Linux build maintenance
The ITL now has 25 student machines and 1 teaching machine. Currently, ITL uses both methods updcast and clonezilla to clone the ITL machines.
Cloning Preparation
Remove /etc/udev/rules.d/70-persistent-net.rules
before cloning.