(setq load-path (cons "/afs/cs/user/fp/courses/comp-ded/lib/emacs" load-path))

(autoload 'elf-mode "elf-menus" "Major mode for editing Elf source." t)
(autoload 'elf-server "elf-menus" "Run an inferior Elf server." t)
(autoload 'elfsml "elf-menus" "Run an inferior ElfSML process." t)

(setq auto-mode-alist
      (cons '("\\.elf$" . elf-mode)
	    (cons '("\\.quy$" . elf-mode)
		  auto-mode-alist)))

(setq elf-server-program "/afs/cs/user/fp/courses/comp-ded/bin/elf-server")
(setq elfsml-program "/afs/cs/user/fp/courses/comp-ded/bin/elfsml")