Natools

Diff
Login

Differences From Artifact [0c2b3fd4ac]:

To Artifact [664f8ff22f]:


1
2
3
4
5
6
7

8
9



10
11
12
13
14
15
1
2
3
4
5
6
7
8


9
10
11
12
13
14
15
16
17







+
-
-
+
+
+






#!/bin/sh

: ${GNATPATH:=/usr/local/gcc-aux/bin}
: ${LCOV_DATA:=coverage/test-info.dat}
: ${LCOV_HTML_DIR:=coverage}
: ${TEST_LOG:=coverage.log}

PATH=${GNATPATH}:${PATH} \
${GNATPATH}/gnatmake -p -Ptests -XMODE=Coverage || exit $?
${GNATPATH}/gnatmake -p -Ptools -XMODE=Coverage || exit $?
gprbuild -XTASK_SAFETY=Intel -p -Ptests -XMODE=Coverage || exit $?
PATH=${GNATPATH}:${PATH} \
gprbuild -XTASK_SAFETY=Intel -p -Ptools -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
coverage/bin/test_all > "${TEST_LOG}"
tools/tests.sh coverage/bin
tail -n 4  "${TEST_LOG}"
lcov --gcov-tool ${GNATPATH}/gcov --directory coverage/obj --output "${LCOV_DATA}" --capture || exit $?
genhtml --output-dir "${LCOV_HTML_DIR}" "${LCOV_DATA}"