Natools

Check-in [89d897146c]
Login
Overview
Comment:coverage.sh: use gprbuild instead of gnatmake
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 89d897146cececa3655b2e152a86efe1488412d3
User & Date: nat on 2017-02-15 22:57:06
Other Links: manifest | tags
Context
2017-02-16
20:56
smaz-tests: add sample strings without variable-length verbatim check-in: f1bcc5d576 user: nat tags: trunk
2017-02-15
22:57
coverage.sh: use gprbuild instead of gnatmake check-in: 89d897146c user: nat tags: trunk
2017-02-14
21:04
smaz_generic-tools: fix the precondition of To_Dictionary check-in: 8458c28c3c user: nat tags: trunk
Changes

Modified coverage.sh from [0c2b3fd4ac] to [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}"