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
|
## maintainer rules.
ME = GNUmakefile
# If the user runs GNU make but didn't ./configure yet, do it for them.
dont-forget-to-bootstrap = $(wildcard Makefile.in)
ifeq ($(dont-forget-to-bootstrap),)
%::
@echo '$(ME): rebootstrap'
@test -f Makefile.in || ./bootstrap
@test -f Makefile || ./configure
$(MAKE) $@
else
include build-aux/release.mk
include build-aux/sanity.mk
# Run sanity checks as part of distcheck.
distcheck: $(local-check)
## ------ ##
## Specl. ##
## ------ ##
# Use 'make check V=1' for verbose output, or set SPECL_OPTS to
# pass alternative options to specl command.
SPECL_OPTS ?= $(specl_verbose_$(V))
specl_verbose_ = $(specl_verbose_$(AM_DEFAULT_VERBOSITY))
specl_verbose_0 =
specl_verbose_1 = --verbose --formatter=report
endif
|
