init.el

(defun jim/setup-pintos ()
  (interactive)
  (set-variable 
   'ede-project-directories
   (quote
    ("/Users/jim/classes/systems/pint-heads/src/lib/user"
     "/Users/jim/classes/systems/pint-heads/src/lib/kernel"
     "/Users/jim/classes/systems/pint-heads/src/lib"
     "/Users/jim/classes/systems/pint-heads/src/threads"
     "/Users/jim/classes/systems/pint-heads/src/userprog"
     "/Users/jim/classes/systems/pint-heads/src/devices"
     "/Users/jim/classes/systems/pint-heads"
     "/Users/jim/classes/systems/pint-heads/src")))
  (set-variable 
   'flycheck-clang-definitions (quote ("USERPROG")))
  (set-variable 
   'flycheck-clang-include-path
   (quote
    ("/Users/jim/classes/systems/pint-heads/src/lib/"
     "/Users/jim/classes/systems/pint-heads/src/lib/user/"
     "/Users/jim/classes/systems/pint-heads/src/lib/kernel/" "../")))
  (set-variable 
   'flycheck-clang-includes nil)
  (set-variable 
   'flycheck-clang-language-standard nil)
  (set-variable 
   'tags-table-list 
   (quote ("/Users/jim/classes/systems/pint-heads/TAGS"))))