TS8000 Library - compatibility matrix

This report was generated on Wednesday, 23-Feb-22 22:48:15 CET using arduino-testlib.

TS8000 Library

Version: 4.0.0-beta
More details

Compatibility matrix

Board Claims compatibility Inclusion
ts8000_config_example
arduino:avr:uno
1.8.4
No FAIL FAIL
arduino:mbed_nano:nanorp2040connect
2.7.2
No FAIL FAIL
arduino:megaavr:nona4809
1.8.7
No FAIL FAIL
arduino:samd:mkrwifi1010
1.8.12
No FAIL PASS
esp32:esp32:d1_mini32
1.0.6
No FAIL FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: FAIL
This library has no main header file so an empty one was created.

/tmp/arduino-testlib634221597/test/test.ino:1:10: fatal error: TS8000_Library.h: No such file or directory
 #include <TS8000_Library.h>
          ^~~~~~~~~~~~~~~~~~
compilation terminated.

examples/ts8000_config_example

Result: FAIL

WARNING: library TS8000_Library claims to run on SAMD21 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void TCC1_Handler()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:172:23: error: 'REG_TCC1_CC1' was not declared in this scope
   calibration_count = REG_TCC1_CC1;  //read the time between pin interrupt events, which
                       ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void timer_init()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:3: error: 'REG_PM_APBCMASK' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
   ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:22: error: 'PM_APBCMASK_EVSYS' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
                      ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:3: error: 'REG_GCLK_CLKCTRL' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
   ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:34: error: 'GCLK_CLKCTRL_CLKEN' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
                                  ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:185:34: error: 'GCLK_CLKCTRL_GEN_GCLK0' was not declared in this scope
                                  GCLK_CLKCTRL_GEN_GCLK0 |
                                  ^~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:186:34: error: 'GCLK_CLKCTRL_ID_TCC0_TCC1' was not declared in this scope
                                  GCLK_CLKCTRL_ID_TCC0_TCC1) ;  //enable clk for TCC1
                                  ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: error: 'GCLK' was not declared in this scope
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: note: suggested alternative: 'SCL'
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
          SCL
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:3: error: 'REG_EIC_EVCTRL' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:21: error: 'EIC_EVCTRL_EXTINTEO3' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                     ^~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:3: error: 'REG_EVSYS_USER' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:20: error: 'EVSYS_USER_CHANNEL' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
                    ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:36: error: 'EVSYS_ID_USER_TCC1_EV_1' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                    ^~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:20: error: 'EVSYS_USER_USER' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                    ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:3: error: 'REG_EVSYS_CHANNEL' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
   ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:23: error: 'EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:195:23: error: 'EVSYS_CHANNEL_PATH_ASYNCHRONOUS' was not declared in this scope
                       EVSYS_CHANNEL_PATH_ASYNCHRONOUS |  //event path is asynchronous (pass-thru)
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:43: error: 'EVSYS_ID_GEN_EIC_EXTINT_3' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                                           ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:23: error: 'EVSYS_CHANNEL_EVGEN' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                       ^~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:197:23: error: 'EVSYS_CHANNEL_CHANNEL' was not declared in this scope
                       EVSYS_CHANNEL_CHANNEL(0);  //attach the generator (sender) to channel 0
                       ^~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:3: error: 'REG_TCC1_EVCTRL' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
   ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:22: error: 'TCC_EVCTRL_MCEI1' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
                      ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:200:22: error: 'TCC_EVCTRL_TCEI1' was not declared in this scope
                      TCC_EVCTRL_TCEI1 |           // Enable the TCC event 1 input
                      ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:201:22: error: 'TCC_EVCTRL_EVACT1_PWP' was not declared in this scope
                      TCC_EVCTRL_EVACT1_PWP;       // Set up the timer for capture: CC1 period, CC0 pulsewidth
                      ^~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:20: error: 'TCC1_IRQn' was not declared in this scope
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
                    ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:3: error: 'NVIC_SetPriority' was not declared in this scope
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
   ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:204:3: error: 'NVIC_EnableIRQ' was not declared in this scope
   NVIC_EnableIRQ(TCC1_IRQn);  //enable TCC0 timer interrupt
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:206:3: error: 'REG_TCC1_INTENSET' was not declared in this scope
   REG_TCC1_INTENSET = TCC_INTENSET_MC1;  //enable compare channel 1 (CC1) interrupt
   ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL
This library has no main header file so an empty one was created.

/tmp/arduino-testlib1775263148/test/test.ino:1:10: fatal error: TS8000_Library.h: No such file or directory
 #include <TS8000_Library.h>
          ^~~~~~~~~~~~~~~~~~
compilation terminated.

examples/ts8000_config_example

Result: FAIL

WARNING: library TS8000_Library claims to run on SAMD21 architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void TCC1_Handler()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:172:23: error: 'REG_TCC1_CC1' was not declared in this scope
   calibration_count = REG_TCC1_CC1;  //read the time between pin interrupt events, which
                       ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void timer_init()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:3: error: 'REG_PM_APBCMASK' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
   ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:22: error: 'PM_APBCMASK_EVSYS' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
                      ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:3: error: 'REG_GCLK_CLKCTRL' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
   ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:34: error: 'GCLK_CLKCTRL_CLKEN' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
                                  ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:185:34: error: 'GCLK_CLKCTRL_GEN_GCLK0' was not declared in this scope
                                  GCLK_CLKCTRL_GEN_GCLK0 |
                                  ^~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:186:34: error: 'GCLK_CLKCTRL_ID_TCC0_TCC1' was not declared in this scope
                                  GCLK_CLKCTRL_ID_TCC0_TCC1) ;  //enable clk for TCC1
                                  ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: error: 'GCLK' was not declared in this scope
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: note: suggested alternative: 'SCK'
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
          SCK
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:3: error: 'REG_EIC_EVCTRL' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:21: error: 'EIC_EVCTRL_EXTINTEO3' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                     ^~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:3: error: 'REG_EVSYS_USER' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:20: error: 'EVSYS_USER_CHANNEL' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
                    ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:36: error: 'EVSYS_ID_USER_TCC1_EV_1' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                    ^~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:20: error: 'EVSYS_USER_USER' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                    ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:3: error: 'REG_EVSYS_CHANNEL' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
   ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:23: error: 'EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:195:23: error: 'EVSYS_CHANNEL_PATH_ASYNCHRONOUS' was not declared in this scope
                       EVSYS_CHANNEL_PATH_ASYNCHRONOUS |  //event path is asynchronous (pass-thru)
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:43: error: 'EVSYS_ID_GEN_EIC_EXTINT_3' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                                           ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:23: error: 'EVSYS_CHANNEL_EVGEN' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                       ^~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:197:23: error: 'EVSYS_CHANNEL_CHANNEL' was not declared in this scope
                       EVSYS_CHANNEL_CHANNEL(0);  //attach the generator (sender) to channel 0
                       ^~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:3: error: 'REG_TCC1_EVCTRL' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
   ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:22: error: 'TCC_EVCTRL_MCEI1' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
                      ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:200:22: error: 'TCC_EVCTRL_TCEI1' was not declared in this scope
                      TCC_EVCTRL_TCEI1 |           // Enable the TCC event 1 input
                      ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:201:22: error: 'TCC_EVCTRL_EVACT1_PWP' was not declared in this scope
                      TCC_EVCTRL_EVACT1_PWP;       // Set up the timer for capture: CC1 period, CC0 pulsewidth
                      ^~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:20: error: 'TCC1_IRQn' was not declared in this scope
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
                    ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:20: note: suggested alternative: 'I2C1_IRQn'
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
                    ^~~~~~~~~
                    I2C1_IRQn
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:206:3: error: 'REG_TCC1_INTENSET' was not declared in this scope
   REG_TCC1_INTENSET = TCC_INTENSET_MC1;  //enable compare channel 1 (CC1) interrupt
   ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:206:23: error: 'TCC_INTENSET_MC1' was not declared in this scope
   REG_TCC1_INTENSET = TCC_INTENSET_MC1;  //enable compare channel 1 (CC1) interrupt
                       ^~~~~~~~~~~~~~~~
/home/ec2-user/

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL
This library has no main header file so an empty one was created.

/tmp/arduino-testlib1775263148/test/test.ino:1:10: fatal error: TS8000_Library.h: No such file or directory
 #include <TS8000_Library.h>
          ^~~~~~~~~~~~~~~~~~
compilation terminated.

examples/ts8000_config_example

Result: FAIL

WARNING: library TS8000_Library claims to run on SAMD21 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void TCC1_Handler()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:172:23: error: 'REG_TCC1_CC1' was not declared in this scope
   calibration_count = REG_TCC1_CC1;  //read the time between pin interrupt events, which
                       ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void timer_init()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:3: error: 'REG_PM_APBCMASK' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
   ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:22: error: 'PM_APBCMASK_EVSYS' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
                      ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:3: error: 'REG_GCLK_CLKCTRL' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
   ^~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:34: error: 'GCLK_CLKCTRL_CLKEN' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
                                  ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:34: note: suggested alternative: 'CLKCTRL_CLKSEL_t'
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
                                  ^~~~~~~~~~~~~~~~~~
                                  CLKCTRL_CLKSEL_t
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:185:34: error: 'GCLK_CLKCTRL_GEN_GCLK0' was not declared in this scope
                                  GCLK_CLKCTRL_GEN_GCLK0 |
                                  ^~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:185:34: note: suggested alternative: 'CLKCTRL_PEN_bp'
                                  GCLK_CLKCTRL_GEN_GCLK0 |
                                  ^~~~~~~~~~~~~~~~~~~~~~
                                  CLKCTRL_PEN_bp
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:186:34: error: 'GCLK_CLKCTRL_ID_TCC0_TCC1' was not declared in this scope
                                  GCLK_CLKCTRL_ID_TCC0_TCC1) ;  //enable clk for TCC1
                                  ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: error: 'GCLK' was not declared in this scope
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: note: suggested alternative: 'SCL'
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync
          ^~~~
          SCL
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:3: error: 'REG_EIC_EVCTRL' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:3: note: suggested alternative: 'RTC_PITINTCTRL'
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
   ^~~~~~~~~~~~~~
   RTC_PITINTCTRL
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:21: error: 'EIC_EVCTRL_EXTINTEO3' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                     ^~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:3: error: 'REG_EVSYS_USER' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
   ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:20: error: 'EVSYS_USER_CHANNEL' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
                    ^~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:20: note: suggested alternative: 'EVSYS_CHANNEL1'
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
                    ^~~~~~~~~~~~~~~~~~
                    EVSYS_CHANNEL1
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:36: error: 'EVSYS_ID_USER_TCC1_EV_1' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                    ^~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:36: note: suggested alternative: 'EVSYS_USERTCB1'
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                    ^~~~~~~~~~~~~~~~~~~~~~~
                                    EVSYS_USERTCB1
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:20: error: 'EVSYS_USER_USER' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                    ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:20: note: suggested alternative: 'EVSYS_USERUSART0'
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                    ^~~~~~~~~~~~~~~
                    EVSYS_USERUSART0
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:3: error: 'REG_EVSYS_CHANNEL' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
   ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:3: note: suggested alternative: 'EVSYS_CHANNEL1'
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
   ^~~~~~~~~~~~~~~~~
   EVSYS_CHANNEL1
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:23: error: 'EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:23: note: suggested alternative: 'EVSYS_CHANNEL_CHANNEL7_gc'
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       EVSYS_CHANNEL_CHANNEL7_gc
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:195:23: error: 'EVSYS_CHANNEL_PATH_ASYNCHRONOUS' was not declared in this scope
                       EVSYS_CHANNEL_PATH_ASYNCHRONOUS |  //event path is asynchronous (pass-thru)
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:195:23: note: suggested alternative: 'EVSYS_CHANNEL_CHANNEL7_gc'
                       EVSYS_CHANNEL_PATH_ASYNCHRONOUS |  //event path is asynchronous (pass-thru)
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       EVSYS_CHANNEL_CHANNEL7_gc
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:43: error: 'EVSYS_ID_GEN_EIC_EXTINT_3' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                                           ^~~~~~~~~~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL
This library has no main header file so an empty one was created.

/tmp/arduino-testlib634221597/test/test.ino:1:10: fatal error: TS8000_Library.h: No such file or directory
 #include <TS8000_Library.h>
          ^~~~~~~~~~~~~~~~~~
compilation terminated.

examples/ts8000_config_example

Result: PASS

WARNING: library TS8000_Library claims to run on SAMD21 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
Sketch uses 24716 bytes (9%) of program storage space. Maximum is 262144 bytes.
Global variables use 3196 bytes (9%) of dynamic memory, leaving 29572 bytes for local variables. Maximum is 32768 bytes.

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL
This library has no main header file so an empty one was created.

/tmp/arduino-testlib1197338813/test/test.ino:1:28: fatal error: TS8000_Library.h: No such file or directory
compilation terminated.

examples/ts8000_config_example

Result: FAIL

WARNING: library TS8000_Library claims to run on SAMD21 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void TCC1_Handler()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:172:23: error: 'REG_TCC1_CC1' was not declared in this scope
   calibration_count = REG_TCC1_CC1;  //read the time between pin interrupt events, which
                       ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino: In function 'void timer_init()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:3: error: 'REG_PM_APBCMASK' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:182:22: error: 'PM_APBCMASK_EVSYS' was not declared in this scope
   REG_PM_APBCMASK |= PM_APBCMASK_EVSYS;//enable the event system peripheral
                      ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:3: error: 'REG_GCLK_CLKCTRL' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:184:34: error: 'GCLK_CLKCTRL_CLKEN' was not declared in this scope
   REG_GCLK_CLKCTRL = (uint16_t) (GCLK_CLKCTRL_CLKEN |
                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:185:34: error: 'GCLK_CLKCTRL_GEN_GCLK0' was not declared in this scope
                                  GCLK_CLKCTRL_GEN_GCLK0 |
                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:186:34: error: 'GCLK_CLKCTRL_ID_TCC0_TCC1' was not declared in this scope
                                  GCLK_CLKCTRL_ID_TCC0_TCC1) ;  //enable clk for TCC1
                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:187:10: error: 'GCLK' was not declared in this scope
   while (GCLK->STATUS.bit.SYNCBUSY); //wait for sync 
          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:3: error: 'REG_EIC_EVCTRL' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:189:21: error: 'EIC_EVCTRL_EXTINTEO3' was not declared in this scope
   REG_EIC_EVCTRL |= EIC_EVCTRL_EXTINTEO3;  //enable event output on external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:3: error: 'REG_EVSYS_USER' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:191:40: error: 'EVSYS_USER_CHANNEL' was not declared in this scope
   REG_EVSYS_USER = EVSYS_USER_CHANNEL(1) |  //attach the event user (receiver) to channel 0 (n + 1)
                                        ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:36: error: 'EVSYS_ID_USER_TCC1_EV_1' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:192:59: error: 'EVSYS_USER_USER' was not declared in this scope
                    EVSYS_USER_USER(EVSYS_ID_USER_TCC1_EV_1);  //set the event user (receiver) as timer TCC1, event 1
                                                           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:3: error: 'REG_EVSYS_CHANNEL' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:194:23: error: 'EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT' was not declared in this scope
   REG_EVSYS_CHANNEL = EVSYS_CHANNEL_EDGSEL_NO_EVT_OUTPUT |  //no event edge detection
                       ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:195:23: error: 'EVSYS_CHANNEL_PATH_ASYNCHRONOUS' was not declared in this scope
                       EVSYS_CHANNEL_PATH_ASYNCHRONOUS |  //event path is asynchronous (pass-thru)
                       ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:43: error: 'EVSYS_ID_GEN_EIC_EXTINT_3' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                                           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:196:68: error: 'EVSYS_CHANNEL_EVGEN' was not declared in this scope
                       EVSYS_CHANNEL_EVGEN(EVSYS_ID_GEN_EIC_EXTINT_3) |  //set event generator (sender) as external interrupt 3 (Arduino ZERO pin 12, SAMD21)
                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:197:46: error: 'EVSYS_CHANNEL_CHANNEL' was not declared in this scope
                       EVSYS_CHANNEL_CHANNEL(0);  //attach the generator (sender) to channel 0
                                              ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:3: error: 'REG_TCC1_EVCTRL' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:199:22: error: 'TCC_EVCTRL_MCEI1' was not declared in this scope
   REG_TCC1_EVCTRL |= TCC_EVCTRL_MCEI1 |           // Enable the match or capture channel 1 event input
                      ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:200:22: error: 'TCC_EVCTRL_TCEI1' was not declared in this scope
                      TCC_EVCTRL_TCEI1 |           // Enable the TCC event 1 input
                      ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:201:22: error: 'TCC_EVCTRL_EVACT1_PWP' was not declared in this scope
                      TCC_EVCTRL_EVACT1_PWP;       // Set up the timer for capture: CC1 period, CC0 pulsewidth
                      ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:20: error: 'TCC1_IRQn' was not declared in this scope
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:203:32: error: 'NVIC_SetPriority' was not declared in this scope
   NVIC_SetPriority(TCC1_IRQn, 0);  //set NVIC priority for TCC0 to 0 (highest)
                                ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:204:27: error: 'NVIC_EnableIRQ' was not declared in this scope
   NVIC_EnableIRQ(TCC1_IRQn);  //enable TCC0 timer interrupt
                           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:206:3: error: 'REG_TCC1_INTENSET' was not declared in this scope
   REG_TCC1_INTENSET = TCC_INTENSET_MC1;  //enable compare channel 1 (CC1) interrupt
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:206:23: error: 'TCC_INTENSET_MC1' was not declared in this scope
   REG_TCC1_INTENSET = TCC_INTENSET_MC1;  //enable compare channel 1 (CC1) interrupt
                       ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS8000_Library/examples/ts8000_config_example/ts8000_config_example.ino:208:3: error: 'REG_TCC1_CTRLA' was not declared in this scope
   REG_TCC1_CTRLA |= TCC_CTRLA_CPTEN1 |              // Enable capture on CC1
   ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/TS80