mirror of
https://github.com/AdaCore/gnatdoc.git
synced 2026-02-12 13:11:07 -08:00
5e44621a37
gnatdoc: substitute version and date on build See merge request eng/ide/gnatdoc!132 (cherry picked from commit3b9ae04ea8)46122d7fAdd support of `--version` command line switch.aca88676`build-all` target to simplify build in dev env.5343cc15Remove target after update of ANOD spec40c4b62dApply 1 suggestion(s) to 1 file(s) Co-authored-by: Vadim Godunko <godunko@adacore.com>
39 lines
1.0 KiB
Makefile
39 lines
1.0 KiB
Makefile
PREFIX ?= `pwd`/install
|
|
docdir = ${PREFIX}/share/doc/gnatdoc
|
|
|
|
SCENARIO_VARIABLES=-XGPR_UNIT_PROVIDER_LIBRARY_TYPE=static -XGPR_UNIT_PROVIDER_BUILD=debug -XVSS_LIBRARY_TYPE=static -XMARKDOWN_LIBRARY_TYPE=static
|
|
|
|
all: build-gnatdoc
|
|
|
|
build-all: build-libgnatdoc build-gnatdoc build-tests
|
|
|
|
build-libgnatdoc:
|
|
gprbuild -j0 -p -P gnat/libgnatdoc.gpr
|
|
|
|
build-gnatdoc:
|
|
gprbuild -j0 -p -P gnat/gnatdoc.gpr ${SCENARIO_VARIABLES}
|
|
|
|
clean:
|
|
rm -rf .objs bin
|
|
|
|
build-tests:
|
|
gprbuild -j0 -p -P gnat/tests/test_drivers.gpr ${SCENARIO_VARIABLES}
|
|
|
|
check: build-tests check_extractor check_gnatdoc
|
|
|
|
check_extractor:
|
|
make -C testsuite
|
|
|
|
check_gnatdoc:
|
|
make -C testsuite/gnatdoc.RB16-013.gpr_tool
|
|
|
|
build-documentation:
|
|
make -C documentation/users_guide html latexpdf
|
|
|
|
install-documentation: build-documentation
|
|
mkdir -p $(docdir)/html
|
|
mkdir -p $(docdir)/html/users_guide
|
|
mkdir -p $(docdir)/pdf
|
|
cp -r documentation/users_guide/_build/html/* $(docdir)/html/users_guide
|
|
cp documentation/users_guide/_build/latex/gnatdoc_ug.pdf $(docdir)/pdf
|