diff --git a/install/90_misc.sh b/install/90_misc.sh index 5aa914845d87391b8b59c2cc7fe7f9c38c62dac1..87b20e4a20e0a657473e92e714ba94c9c4f62946 100755 --- a/install/90_misc.sh +++ b/install/90_misc.sh @@ -14,6 +14,10 @@ rm -f taste-config.pl.tmp mkdir -p ${PREFIX}/share/taste cp taste-directives/TASTE-Directives.asn ${PREFIX}/share/taste/TASTE-Directives.asn || exit 1 +# TASTE types +mkdir -p ${PREFIX}/share/taste-types +cp misc/taste-common-types/taste-types.asn ${PREFIX}/share/taste-types/ || exit 1 + # Gnuplot cp gnuplot/driveGnuPlotsStreams.pl ${PREFIX}/bin/taste-gnuplot-streams diff --git a/misc/taste-common-types/taste-types.asn b/misc/taste-common-types/taste-types.asn new file mode 100644 index 0000000000000000000000000000000000000000..6078c6fecb0f947c8cff3c84cc8b9820969e83fb --- /dev/null +++ b/misc/taste-common-types/taste-types.asn @@ -0,0 +1,17 @@ +TASTE-BasicTypes DEFINITIONS ::= +BEGIN + +-- Set of TASTE predefined basic types + +T-Int32 ::= INTEGER (-2147483648 .. 2147483647) + +T-UInt32 ::= INTEGER (0 .. 4294967295) + +T-Int8 ::= INTEGER (-128 .. 127) + +T-UInt8 ::= INTEGER (0 .. 255) + +T-Boolean ::= BOOLEAN + +END +