testsuite/synth/psl02/testsuite.sh

   1 #! /bin/sh
   2
   3 . ../../testenv.sh
   4
   5 GHDL_STD_FLAGS=--std=08
   6
   7 synth assert1.vhdl -e assert1 > syn_assert1.vhdl
   8 analyze syn_assert1.vhdl
   9
  10 synth assert2.vhdl verif1.vhdl -e assert2 > syn_assert21.vhdl
  11 analyze syn_assert21.vhdl
  12
  13 clean
  14
  15 synth assert2.vhdl verif2.vhdl -e assert2 > syn_assert22.vhdl
  16 analyze syn_assert22.vhdl
  17
  18 clean
  19
  20 synth assert2.vhdl verif3.vhdl -e assert2 > syn_assert23.vhdl
  21 analyze syn_assert23.vhdl
  22
  23 clean
  24
  25 synth assert2.vhdl verif4.vhdl -e assert2 > syn_assert24.vhdl
  26 analyze syn_assert23.vhdl
  27
  28 clean
  29
  30 synth assert2.vhdl verif5.vhdl -e assert2 > syn_assert25.vhdl
  31 analyze syn_assert25.vhdl
  32
  33 clean
  34
  35 echo "Test successful"