CSE-321 Programming Languages - Software

[ Home | Schedule | Assignments | Software | Resources ] gla@postech Sungwoo Park

Cygwin for Windows

  • If you want to work in a Unix-like environment on Windows, use Cygwin. Download and run setup.exe and follow the instruction. It takes at least half an hour to download all files and complete their installation, so be patient.
  • To run the X-windows system on Cygwin, type /usr/X11R6/bin/startx at the command prompt (or just startx if /usr/X11R6/bin is in your path).
  • If you want to run a rootless windows manager, make the following change to startx: 
    defaultserverargs="-rootless -clipboard"
#defaultserverargs="-multiwindow -clipboard"
  • If you want to try a different windows manager, edit the .xinitrc file on your home directory. Here is a sample.

Standard ML of New Jersey (Required)

  • For the lectures and assignments, we will use Standard ML of New Jersey 110.58 (commonly abbreviated as SML/NJ).
    Local copy (binary files) and Installation guide for Microsoft Windows, Local copy (binary files) for Unix, Local copy (configuration file) and Installation guide for Unix.
  • For Cygwin users, be sure to read CYGWININSTALL to properly install the software. If sml complains that it cannot find the runtime system (for example /usr/bin/smlnj/bin/.run/run.x86-win32), try setting the environment variable SMLNJ_CYGWIN_RUNTIME:

    setenv SMLNJ_CYGWIN_RUNTIME 1 (in csh)

  • If you have any trouble with installing the software on your system, please email the teaching staff.

Emacs (Strongly recommended)

  • Emacs is recommended for editing SML files. There are quite a few good reasons that you want to switch to Emacs as your editor of choice:
    • You can edit and compile within the same Emacs window (super!).
    • Emacs recognizes the SML syntax (by installing a configuration file) and automatically indents code for you.
    • Syntax highlightening is supported.
    • Once you get used to Emacs, you can enjoy a similar development environment for any other language; all you need to do is to install another configuration file.
    • Once you become an expert in Emacs, you seldom need to use terminals.
    • Most professional computer scientists use Emacs as their editor!
  • Emacs should already be installed on all Unix environments (including Linux). Emacs is also installed by default on the Cygwin environment. So if you are working on a Unix-like environment, you do not need to install it yourself. For Windows users, the easies way to install Emacs is by installing Cygwin ;-) Or goole "Emacs for windows" and you will find plenty of sources on installing and using Emacs on the Windows platform.
  • Visit Wikipedia for more information on Emacs.
  • After installing Emacs, you should install the configuration files for the SML mode.
    • Download sml-mode-3.9.3.tar.gz and uncompress it. For example, on a Unix environment, you can compress it by running:

      gunzip -c sml-mode-3.9.3.tar.gz | tar xvf -

    • Read INSTALL and install the configuration files. On the Cygwin environment, for example, you edit Makefile as follows

      lispdir = /usr/share/emacs/site-lisp
      infodir = /usr/share/info

      and then run:

      make install_startup startupfile=$HOME/.emacs

  • Now Emacs automatically loads the SML mode when you open an SML file.

AFS client (Required)

  • You need to have some way to access the Hemos AFS (Andrew File System). Check out the FAQ section of the Hemos webpage for a brief introduction to the AFS(search "AFS User Guide").
  • If you want to mount the AFS on your local machine, visit http://www.openafs.org and install the client software. Use postech.ac.kr as the cell name.

Latex (Strongly recommended)

  • You are required to typeset your answers to written assignments, and we strongly recommend Latex for typesetting your answers. The Latex commands for math formulae were adoptedy by 아래아한글 (HWP), so they should not be completely strange to you.
  • For Windows, you can use MiKTex whose basic system (~32MB) contains all necessary packages and software. (The complete system takes about 380MB of disk space.) Install it and change the PATH variable to include the directory containing executable files (e.g., C:\texmf\miktex\bin; under a typical installation). To produce a PS or PDF file, follow these steps:
    • Edit a tex file using your favorite editor (e.g., a.tex).
    • Compile it using the program latex (e.g., latex a.tex).
    • The compilation produces a dvi file (e.g., a.dvi). You can view the result using the program yap.
    • Convert the dvi file to a PS file using the program dvips ((e.g., dvips a.dvi).
    • Alternatively you can produce a PDF file using the program pdflatex ((e.g., pdflatex a.tex).
    • To view PS files, you want to install ghostscript and ghostview.
    • To view PDF files, you want to install Acrobat Reader.
  • On Cygwin, you can select the TeTex package during the installation procedure. On Linux, the Latex software is included in the default installation. Be sure to set the environment variable path properly.
    • You can use xdvi to view your dvi files. (There is no yap on Linux and Cygwin.)
    • Use the ghostview program gv to view PS files.
    • You can use Acrobat Reader or xpdf to view PDF files.

[ Home | Schedule | Assignments | Software | Resources ] gla@postech Sungwoo Park