mirror of
https://github.com/AdaCore/gnatdoc.git
synced 2026-02-12 13:11:07 -08:00
47 lines
1.2 KiB
Makefile
47 lines
1.2 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 \
|
|
-XLIBADALANG_LIBRARY_TYPE=static \
|
|
-XLANGKIT_SUPPORT_LIBRARY_TYPE=static \
|
|
-XPRETTIER_ADA_LIBRARY_TYPE=static \
|
|
-XGPR2_LIBRARY_TYPE=static
|
|
|
|
all: build-gnatdoc
|
|
|
|
build-all: build-libgnatdoc build-gnatdoc build-tests
|
|
|
|
install: install-gnatdoc
|
|
|
|
build-libgnatdoc:
|
|
gprbuild -j0 -p -P gnat/libgnatdoc.gpr
|
|
|
|
build-gnatdoc:
|
|
gprbuild -j0 -p -P gnat/gnatdoc.gpr ${SCENARIO_VARIABLES}
|
|
|
|
install-gnatdoc:
|
|
gprinstall -f -p -P gnat/gnatdoc.gpr --prefix="${PREFIX}" --no-project ${SCENARIO_VARIABLES}
|
|
|
|
clean:
|
|
rm -rf .objs bin
|
|
|
|
build-tests:
|
|
gprbuild -j0 -p -P gnat/tests/test_drivers.gpr ${SCENARIO_VARIABLES}
|
|
|
|
check: build-tests
|
|
make -C testsuite
|
|
|
|
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
|