When include energia library with Tivaware library, bin objects not recognized

[cantthinkofaname1029 0]

Pardon folks,

 

Right now I'm working on a project that requires aid from tiva's hardware timers for me to schedule everything properly. For this, I imported some of tivaware's API library in to manipulate them. 

 

Everything works more or less fine until I have to import energia.h into this little library I've written, and then suddenly I encounter a large amount of errors involving objects and types in energia/bin not being recognized by the compiler. Some samples below:

 

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:259:8: error: 'uint64_t' does not name a type

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:260:27: error: variable or field 'TimerMatchSet' declared void

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:260:27: error: 'uint32_t' was not declared in this scope

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:260:46: error: 'uint32_t' was not declared in this scope

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:261:27: error: 'uint32_t' was not declared in this scope

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:262:8: error: 'uint32_t' does not name a type

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:263:29: error: variable or field 'TimerMatchSet64' declared void

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:263:29: error: 'uint32_t' was not declared in this scope

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:263:48: error: 'uint64_t' was not declared in this scope

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:264:8: error: 'uint64_t' does not name a type

/home/mrdtdev/Bin/Energia/energia-0101E0016/hardware/lm4f/cores/lm4f/driverlib/timer.h:265:30: error: variable or field 'TimerIntRegister' declared void

 

Does anyone have any ideas to get me started on debugging this? I usually use CCS and have recently started experimenting with Energia, so this software's quirks and details are something I am not generally aware of.