PKD 11/12: Programvara

På kursen används två speciella programvaror: Poly/ML version 5.4.1 (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 installera både Poly/ML och Emacs-paketet på din egen dator. Observera att tyvärr har vi inga möjligheter från institutionens sida att hjälpa dig med den installationen. Om du installerar själv och sedan får problem så är våra möjligheter att hjälpa dig små. Du kan alltid använda institutionens datorer.

Webbplatsen för Poly/ML hittar du här. Den versionen har dock en bugg som kan vara besvärlig: 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. F.n. fungerar den versionen på Unix/Linux och Mac OS X. Du kan ladda ned den härifrån.

Installationsanvisningar:

• 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.