blob: 0cd3a5fed8fa182c356a611d296aa485c76d5d43 (
plain)
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
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS=--std=08
if $GHDL --version | grep -q "GCC back-end code"; then
is_gcc=true
else
is_gcc=false
fi
if [ "$is_gcc" = true ]; then
GHDL_FLAGS="-fprofile-arcs -ftest-coverage -Wl,--coverage"
rm -f *.gcno
fi
analyze full_adder.vhdl
analyze full_adder_tb.vhdl
# Do not try to elaborate, libgcov may not be available
if [ "$is_gcc" = true ]; then
# The name of the gcno file is sometimes .gcno, sometimes .vhdl.gcno
# It is built on the -auxbase NAME option, which is not given by ghdl.
# The default is to remove the extension from the source file, but at
# most 4 characters are removed.
test -f full_adder.gcno
test -f full_adder_tb.gcno
fi
clean
echo "Test successful"
|
