Vagrant Konfiguration zur Bearbeitung der PP Übung für alle in der Vorlesung behandelten Sprachen.
git clone [email protected]:ocjojo/propa-vm.git
cd propa-vm
vagrant up
Der erste Start dauert einige Minuten und downloaded mehrere 100mb.
# Starte Vagrant
vagrant up
# Verbinde zur box
vagrant ssh
# Das lokale /code Verzeichnis ist zu ~/code gemapped
# e.g. mit test.hs in code:
cd code
ghci
> :l test
- Haskell:
ghci
oderghc
- Prolog:
swipl
swipl
um prolog repl zu starten
%lade Datei test.pl
[test].