PKD 12/13: Programvara

På kursen används två speciella programvaror: Poly/ML version 5.5.0 (Uppsala modifed 1) och ett SML-paket för Emacs. På institutionens Unix-datorer startas Poly/ML med kommandot

poly

(Ge inte kommandot sml, för då startar du ett annat ML-system!)

Se OH-bilderna för moment 2 för kortfattad information om Emacs-paketet. Du kan också ladda hem och skriva ut en kort Emacs-referens på svenska här.

Du kan installera både Poly/ML och Emacs-paketet på din egen dator. Observera att om du får problem så är tyvärr våra möjligheter att hjälpa dig begränsade. Du kan alltid använda institutionens datorer.

Webbplatsen för Poly/ML hittar du här. Den versionen har dock ett problem som kan vara besvärligt: Det är inte möjligt att skriva svenska (eller andra icke-engelska) bokstäver och vissa specialtecken i strängkonstanter.

Vi har en fixad version där detta fungerar som det skall. Har du en windowsmaskin så kan du kontakta Magnus Söderling för att få en kopia. Har du en maskin med Unix/Linux eller Mac OS X, så kan du ladda ned den själv härifrån.

Installationsanvisningar för Unix/Linux/Mac OS X:

• Packa upp arkivfilen.
• Starta ett kommandofönster, gör katalogen med de uppackade filerna till aktiv katalog.
• Ge kommandona:
  • ./configure
  • make
  • make compiler
  • make install

Detta kommer att installera programvaran på standardplatsen (/usr). Om du vill installera på annan plats, låt det första kommandot ovan istället vara ./configure prefix=PATH, där PATH är sökvägen till den plats du vill göra installationen. Får du problem med installationen så kan du höra med Magnus Söderling om han kan hjälpa dig.

Webbplatsen för Emacs-paketet hittar du här. Några generella installationsanvisningar kan vi inte ge eftersom det både beror på vilken Emacs-version och vilket operativsystem du använder.