forked from ProofGeneral/PG
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.travis
30 lines (22 loc) · 927 Bytes
/
Makefile.travis
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
VERSIONS = 24.3 24.4 24.5 25.1 25.2 25.3
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 'git://git.savannah.gnu.org/emacs.git' --branch emacs-25 /tmp/emacs
cd /tmp/emacs && ./autogen.sh
prepare-emacs: prepare-$(EMACS_TARGET)
echo 0 | sudo tee /proc/sys/kernel/randomize_va_space
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: