/
Makefile
36 lines (29 loc) · 1.01 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
SAGE=sage
SAGEFILES = \
bug_examples.sage \
compendium_procedures.sage \
continuous_case.sage \
discontinuous_case.sage \
extreme_functions_in_literature.sage \
extreme_functions_sporadic.sage \
intervals.sage \
real_number_field.sage \
fast_linear.sage \
functions.sage \
simple_extremality_test.sage \
survey_examples.sage \
extreme_functions_mlr_cpl3.sage \
quasi_periodic.sage
all:
@echo "No need to 'make' anything. Just run it in Sage; see README.rst"
install:
@echo "No need to install anything. Just run it in Sage; see README.rst"
check: check-encoding
$(SAGE) -tp 4 $(SAGEFILES)
check-encoding:
@if LC_ALL=C grep -v -n '^[ -}]*$$' $(SAGEFILES) ; then echo "Offending characters found."; exit 1; else echo "All Sage files are ASCII and have no tabs. Good."; exit 0; fi
## Checking graphics takes long and requires manual inspection, so it's not part of 'make check'.
check-graphics:
(cd survey_graphics && $(MAKE) check-graphics)
tags: $(SAGEFILES)
etags $(SAGEFILES)