diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-01-13 14:20:11 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-01-13 14:26:45 -0500 |
| commit | 50ff07dc7bdb708cee381c3f7eb2e58e75263153 (patch) | |
| tree | 2e9270c01edb572b7ebb4201c2165ca943b14308 /.travis.yml | |
| parent | e9e2f7ec5f50916e11b44162762f30f1f6a2b659 (diff) | |
Add .travis.yml file adapted from fstar-mode.el
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 00000000..073d1aa3 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,28 @@ +language: emacs-lisp +sudo: false + +env: + - EMACS_TARGET=emacs-21.4a + - EMACS_TARGET=emacs-22.1 + - EMACS_TARGET=emacs-22.2 + - EMACS_TARGET=emacs-22.3 + - EMACS_TARGET=emacs-23.1 + - EMACS_TARGET=emacs-23.2b + - EMACS_TARGET=emacs-23.3b + - EMACS_TARGET=emacs-23.4 + - EMACS_TARGET=emacs-24.1 + - EMACS_TARGET=emacs-24.2 + - EMACS_TARGET=emacs-24.3 + - EMACS_TARGET=emacs-24.4 + - EMACS_TARGET=emacs-24.5 + - EMACS_TARGET=emacs-git + +before_install: + - make -f Makefile.travis before_install + +install: + - make -f Makefile.travis install + +script: + - emacs --version + - make -f Makefile.travis script |