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
|
GNAT_BUILDER ?= gnatmake
include comfignat.mk
export OS_VERSION ?= unix
build_GPRs = build_ahven.gpr
usage_GPRs = ahven.gpr
options = development_build
development_build = false
html: ${stage_miscdocdir}/ahven/
${MAKE} html --directory=${srcdir}/../doc/manual/en BUILDDIR=${objdir}/sphinx
cp -RHpf ${objdir}/sphinx/html ${stage_miscdocdir}/ahven
docs: html
# The documentation is built as part of make all, but not in the default build.
all: html
tests: base ahven_tests.gpr
${build_GPR}
${stage_miscdocdir}/ahven:
mkdir -p ${stage_miscdocdir}/ahven
check: tests
./tester -c
check_xml: tests
-mkdir -p results
./tester -c -x -s .Test -d results
check_tap: tests
./tap_tester
clean::
rm -f ${builddir}/*tester
|
