From 50ff07dc7bdb708cee381c3f7eb2e58e75263153 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 13 Jan 2016 14:20:11 -0500
Subject: Add .travis.yml file adapted from fstar-mode.el

From https://github.com/FStarLang/fstar-mode.el/blob/master/.travis.yml
---
 Makefile.travis | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 Makefile.travis

(limited to 'Makefile.travis')

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:
-- 
cgit v1.2.3