diff options
| author | ACSYS <cvc4-devel@cs.nyu.edu> | 2010-09-27 22:26:46 +0000 |
|---|---|---|
| committer | ACSYS <cvc4-devel@cs.nyu.edu> | 2010-09-27 22:26:46 +0000 |
| commit | 753a072c542c1c254d7c6adbf10e091ba585ede5 (patch) | |
| tree | 5ab9157fe0d3f265f82a94f7f4e5940697b54ee5 /contrib/editing-with-emacs | |
| parent | 595751a1814cc9375318c9c158caf6426eeda791 (diff) | |
add workaround for systems (i.e., Mac OS X) that don't support __thread; also configure script auto-detection of __thread support and syntax
Diffstat (limited to 'contrib/editing-with-emacs')
| -rw-r--r-- | contrib/editing-with-emacs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/editing-with-emacs b/contrib/editing-with-emacs index 66ee555a9..529e4fadc 100644 --- a/contrib/editing-with-emacs +++ b/contrib/editing-with-emacs @@ -12,7 +12,7 @@ describing your usual cvc4 editing location(s): (setq c-basic-offset 2) (c-set-offset 'innamespace 0) (setq indent-tabs-mode nil)) -(setq auto-mode-alist (cons '("/home/mdeters/cvc4.*/.*\\.\\(cc\\|cpp\\|h\\|hh\\|hpp\\|y\\|yy\\|ypp\\|lex\\|l\\|ll\\|lpp\\)$" . cvc4-c++-editing-mode) auto-mode-alist)) +(setq auto-mode-alist (cons '("/home/mdeters/cvc4.*/.*\\.\\(cc\\|cpp\\|h\\|hh\\|hpp\\|y\\|yy\\|ypp\\|lex\\|l\\|ll\\|lpp\\)\\(\\.in\\)?$" . cvc4-c++-editing-mode) auto-mode-alist)) --- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 18:19:22 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 27 Sep 2010 17:35:38 -0400 |