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 /Makefile.travis | |
| parent | e9e2f7ec5f50916e11b44162762f30f1f6a2b659 (diff) | |
Add .travis.yml file adapted from fstar-mode.el
Diffstat (limited to 'Makefile.travis')
| -rw-r--r-- | Makefile.travis | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Makefile.travis b/Makefile.travis new file mode 100644 index 00000000..3466a7af --- /dev/null +++ b/Makefile.travis @@ -0,0 +1,29 @@ +VERSIONS = 21.4a 22.1 22.2 22.3 23.1 23.2b 23.3b 23.4 24.1 24.2 24.3 24.4 24.5 +STABLE_TARGETS = $(addprefix prepare-emacs-,$(VERSIONS)) + +.PHONY: prepare-emacs-24 prepare-emacs-git $(STABLE_TARGETS) \ + prepare-emacs before_install install script + +$(STABLE_TARGETS): + curl -o /tmp/$(EMACS_TARGET).tar.gz "https://ftp.gnu.org/gnu/emacs/$(EMACS_TARGET).tar.gz" + mkdir /tmp/emacs-tmp + tar xzf /tmp/$(EMACS_TARGET).tar.gz -C /tmp/emacs-tmp + mv /tmp/emacs-tmp/* "/tmp/emacs" || (ls /tmp/*; exit 1) + +prepare-emacs-git: + git clone --depth=1 'http://git.sv.gnu.org/r/emacs.git' /tmp/emacs + cd /tmp/emacs && ./autogen.sh + +prepare-emacs: prepare-$(EMACS_TARGET) + cd /tmp/emacs && ./configure --prefix="$(HOME)" --without-all --with-x-toolkit=no --without-x --with-xml2 && make -j2 install + +before_install: prepare-emacs + +install: + +script: + make + +# Local Variables: +# indent-tabs-mode: t +# End: |