I'd like to include sysctl.h to use SysCtlClockSet(). I get a file not found error. The only reference to this file I've found in the Kiel_v4 installation is in the C:\Keil_v4\ARM\RV31\LIB\Luminary\driverlib directory. My target device is a TM4C123GXL. Is this the correct directory, or do I need to install other libraries?
If it is the correct file how do I set the path to it?
You'll have to use your own judgement about what files are appropriate for your part.
Project Options -> C/C++ -> Include Paths
You specify a whole list of paths relative to your project where the compiler will look for, in order, to find the files you request, or those files in turn request.
"Project Options -> C/C++ -> Include Paths"
Thank you. I wasn't sure if I should set that or put it into Manage Project Items>Folders/extensions.