casl.el revision c10df434f8e16b46ccf703bf2e38b799f7bcb38b
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang(defun hets-home-directory-fn ()
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang "Used to find hets-home-directory"
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang (let ((curdir
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang (or
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang (and load-in-progress (file-name-directory load-file-name))
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang (file-name-directory (buffer-file-name)))))
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang (file-name-directory (substring curdir 0 -9)))
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang)
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang;; Files whose extension is .casl or .het will be edited in CASL mode
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang(setq hets-home-directory (hets-home-directory-fn))
c10df434f8e16b46ccf703bf2e38b799f7bcb38bHeng Jiang(setq hets-program (concat hets-home-directory "hets"))
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang(setq load-path
b4fc5ea5cb085d38694cab93648e4d20451cd9dcKlaus Luettich (append (list (concat hets-home-directory "utils/el")) load-path))
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang(setq auto-mode-alist
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang (append
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang '(("\\.casl\\'" . casl-mode))
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang '(("\\.het\\'" . casl-mode))
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang auto-mode-alist))
b4fc5ea5cb085d38694cab93648e4d20451cd9dcKlaus Luettich