The arm toolchain is 32 bits the gcc is 32 bits my ubuntu linux is 64 bits is that why it is getting invalid conversion from int?
josheeg@josheeg-desktop:~/libmaple$ make install
[CXX] main.cpp
main.cpp: In function 'void loop()':
main.cpp:299: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:299: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:300: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:300: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:301: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:301: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:302: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:302: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:323: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:323: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:324: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:324: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:325: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:325: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
main.cpp:326: error: invalid conversion from 'int' to 'timer_dev_num'
main.cpp:326: error: initializing argument 1 of 'void timer_init(timer_dev_num, uint16)'
make: *** [build/main.o] Error 1