HOME | ENGLISH | IMPRESSUM | KIT

Programming Paradigms - Virtual Machine

Virtuelle Maschine mit vorinstallierten Entwicklungsumgebungen

Um den Einstieg in die verschiedenen in den Veranstaltungen Programmierparadigmen und Fortgeschrittene Objektorientierung vorgestellten Programmiersprachen zu erleichtern, stellen wir auf dieser Seite ein Abbild einer virtuellen Maschine bereit, mit vorkonfigurierten Programmierumgebungen für:

Die Programmierumgebungen sind Eclipse-basiert. Wir weisen jedoch darauf hin, dass sich in all diesen Programmiersprachen auch problemlos mittels Texteditor und Kommandozeile entwickeln lässt.
Hinweise für weitere verfügbare Programmierumgebungen finden sich auch auf der Programmierparadigmen-Übungs-Website.

Download

Die Programmierparadigmen-VM kann nur aus dem KIT-Netz heruntergeladen werden. Verwenden Sie bitte den VPN-Client des SCC, falls Sie von außerhalb Zugriff benötigen.


(Stand: 13.1.2017) ppvm-ubuntu-16.04-amd64.ova [ca. 3.6GiB]
SHA256: df394d572052a22330b69ae380fd957a792e3346848e6378e36a1b91a8f90ed0

Installation

Die Programmierparadigmen-VM kommt als Open Virtualization Format Appliance. Zur Verwendung benötigen Sie


verfügbar für Windows, Linux und MacOS X.

Zum Import der Programmierparadigmen-VM in VirtualBox beachten Sie bitte das VirtualBox Handbuch.
Die Programmierparadignen-VM wurde nicht mit anderen Virtualisierungs-Lösungen (wie VMWare) getestet.

Arbeiten mit der VM

Die Programmierparadigmen-VM ist eine Ubuntu 16.04 Installation. Nachdem Sie die VM in VirtualBox gestartet haben loggen Sie sich ein als

Benutzername:paradigmen
Passwort:paradigmen

Beispiele

In der VM sind schon einige Beispielprojekte vorinstalliert. Diese sind auch per git verfügbar unter https://git.scc.kit.edu/IPDSnelting/ppvm.exampleprojects. Innerhalb der VM ist dieses git unter ~/gits/ ausgecheckt.

Installation von ghc-vis

Das Visualisierungstool ghc-vis können Sie mit den folgenden Schritten in ihrer VM installieren.
  1. Starten Sie die VM und loggen Sie sich ein.
  2. Öffnen Sie ein Terminal durch drücken der Tastenkombination Strg + Alt + T
  3. Kopieren Sie nacheinander folgende Befehle in das Terminal:
    • sudo apt-get update
    • sudo apt-get install -y libghc-gtk3-dev libghc-cairo-dev libghc-mtl-dev libghc-text-dev libghc-fgl-dev
    • sudo apt-get install -y graphviz
    • sudo apt-get install -y gtk2hs-buildtools
    • sudo apt-get install -y librsvg2-dev
    • cabal update
    • cabal install "svgcairo==0.13.0.4" --disable-library-profiling
    • cabal install ghc-vis --disable-library-profiling
    • echo ":script /home/paradigmen/.cabal/share/x86_64-linux-ghc-7.10.3/ghc-vis-0.8/ghci" >> ~/.ghci
    • chmod go-w ~/.ghci

FAQs

  1. Beim Starten der VM gibt es eine Fehlermeldung "unknown device: eth0" o.ä.

    In den Einstellungen (Rechtsklick → "ändern") sicher stellen, dass unter Netzwerk → Adapter 1 ein korrekter Adaptername eingestellt ist.

  2. Beim Starten der VM gibt es eine Fehlermeldung "fatal error" o.ä.

    Dieses Problem kann durch Aktivierung des PAE Modus behoben werden konnte.
    Dies geschieht über Rechte Maustaste auf die VM → Settings → System → Tab Processor → Aktivierung von Enable PAE/NX

Alte Versionen

Erstellung des VM Images

Wer daran interessiert ist, das VM Image selbst zu erstellen, kann die entsprechenden packer.io Dateien und Installationsskripte unter https://git.scc.kit.edu/IPDSnelting/ppvm verwenden.

Kontakt

Wissenschaftliche Mitarbeiter
Hecker, Martin
Lohner, Denis