-
Notifications
You must be signed in to change notification settings - Fork 28
/
Makefile
101 lines (75 loc) · 2.9 KB
/
Makefile
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
SANDBOX := ./sandbox
TAGGED_REFMAN_ROOT := /build/coq/8.5-tagged-refman/
PG_GENERIC_ROOT := ~/.emacs.d/lisp/PG/generic/
OLD_PG_GENERIC_ROOT := ~/.emacs.d/lisp/PG-4.2/generic/
EMACS ?= emacs
CASK = env --unset INSIDE_EMACS EMACS=$(EMACS) cask
COMPANY_COQ_ARGS := --debug-init --eval "(progn (setq-default company-coq--check-forward-declarations t) (add-hook 'coq-mode-hook (lambda () (require 'company-coq) (company-coq-mode))))"
COQ_85_ARGS := --eval '(setq coq-prog-name "/build/coq/8.5/bin/coqtop")'
all: elc package
clean: clean-elc clean-package
run: elc
$(EMACS) --debug-init -L . $(COMPANY_COQ_ARGS) tests.v
sandbox: elc
$(CASK) exec $(EMACS) --debug-init -Q \
-L $(PG_GENERIC_ROOT) -l proof-site -L . $(COMPANY_COQ_ARGS) tests.v
sandbox-old-pg: elc
$(CASK) exec $(EMACS) --debug-init -Q \
-L $(OLD_PG_GENERIC_ROOT) -l proof-site -L . $(COMPANY_COQ_ARGS) tests.v
emacs243:
$(eval EMACS := emacs-24.3)
emacs245:
$(eval EMACS := emacs-24.5)
no-company-coq: elc
$(CASK) exec $(EMACS) --debug-init -Q \
-L $(PG_GENERIC_ROOT) -l proof-site -L . $(COQ_85_ARGS) tests.v
no-company-coq-old-pg: elc
$(CASK) exec $(EMACS) --debug-init -Q \
-L $(OLD_PG_GENERIC_ROOT) -l proof-site -L . $(COQ_85_ARGS) tests.v
update:
$(CASK) install
$(CASK) update
pkg-file:
$(CASK) pkg-file
clean-elc:
$(CASK) clean-elc
elc: clean-elc pkg-file
$(CASK) build
pkg-def:
$(eval PKG := "dist/company-coq-$(shell cask version).tar")
package: pkg-def
$(CASK) package
clean-package:
rm -rf dist
screenshots: elc
$(CASK) exec $(EMACS) --debug-init -Q -L $(PG_GENERIC_ROOT) --load etc/rebuild-screenshots.el
screenshots-8.5: elc
$(CASK) exec $(EMACS) --debug-init -Q -L $(PG_GENERIC_ROOT) $(COQ_85_ARGS) --load etc/rebuild-screenshots.el
screenshots-8.5-24.5: emacs245 elc
$(CASK) exec $(EMACS) --debug-init -Q \
-L $(OLD_PG_GENERIC_ROOT) -L . $(COQ_85_ARGS) $(COMPANY_COQ_ARGS) --load etc/rebuild-screenshots.el
# find ./.cask/ -type d -name elpa -exec rm -rf {} +
pkg-install: elc pkg-def package
rm -rf .emacs.d
mkdir .emacs.d
$(CASK) exec $(EMACS) --debug-init -Q \
--eval '(setq user-init-directory "./.emacs.d/")' \
--eval '(package-initialize)' \
--eval '(package-install-file $(PKG))' \
-L $(OLD_PG_GENERIC_ROOT) -l proof-site $(COMPANY_COQ_ARGS) tests.v
etc: clean-etc
env --unset COQPATH make -j8 -C $(TAGGED_REFMAN_ROOT) doc-html
./etc/parse-hevea.py refman/ ./company-coq-abbrev.el.template $(TAGGED_REFMAN_ROOT)/doc/refman/html/Reference-Manual*.html
parallel -j8 gzip -9 -- refman/*.html
icons:
etc/rebuild-icons.sh
clean-etc:
rm -rf refman/*.gz
deep-clean: clean clean-etc
make -C $(TAGGED_REFMAN_ROOT) docclean
symbols:
awk -F'\\s+' -v NL=$$(wc -l < etc/symbols) -f etc/symbols.awk < etc/symbols
awk -F'\\s+' -v NL=$$(wc -l < etc/more-symbols) -f etc/symbols.awk < etc/more-symbols
awk -F'\\s+' -v NL=$$(wc -l < etc/greek-symbols) -f etc/symbols.awk < etc/greek-symbols
check-patches:
etc/check-patches.sh