EmacsのMELPAパッケージリポジトリの設定とflycheckのインストール、それからプロキシ

(setq url-proxy-services
      '(("http" . "proxy.server.com:8080")
        ("https" . "proxy.server.com:8080")))

(require 'package)
(add-to-list 'package-archives '("melpa" . "http://melpa.milkbox.net/packages/") t)
(add-to-list 'package-archives '("marmalade" . "http://marmalade-repo.org/packages/"))
(package-initialize)
M-x package-refresh-contents
M-x package-install flycheck

flymakeの設定する前に flycheckを確認しよう - syohex’s diary