3 ;; IDS-ELS: list of IDS modules to install
7 (setq ids-modules-to-compile
8 '(ids cbeta ids-util ids-rw ids-read ids-dump ids-find))
10 (setq ids-modules-not-to-compile nil)
12 (setq ids-modules (append ids-modules-to-compile
13 ids-modules-not-to-compile))