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

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