xil_cache error in Xilinx SDK - fpga

Question

I am working on a small project of mine on Digilent Atlys and after all of the standard generating the netlist and bitstream, and exporting to SDK, I happen to get a weird error which states that the xil_cache.h is not present anywhere (even though it is there).
I need to mention that if I don't add an interrupt controller and a timer it works, but I really do need them.
Has anyone encountered this error before?
Error Message:
08:24:21 **** Build of configuration Debug for project hiworld ****
make all
'Building file: ../src/helloworld.c'
'Invoking: MicroBlaze gcc compiler'
mb-gcc -Wall -O0 -g3 -c -fmessage-length=0 -I../../hiworld_bsp/microblaze_0/include -mlittle-endian -mxl-barrel-shift -mxl-pattern-compare -mcpu=v8.50.c -mno-xl-soft-mul -Wl,--no-relax -ffunction-sections -fdata-sections -MMD -MP -MF"src/helloworld.d" -MT"src/helloworld.d" -o "src/helloworld.o" "../src/helloworld.c"
'Finished building: ../src/helloworld.c'
' '
'Building file: ../src/platform.c'
'Invoking: MicroBlaze gcc compiler'
mb-gcc -Wall -O0 -g3 -c -fmessage-length=0 -I../../hiworld_bsp/microblaze_0/include -mlittle-endian -mxl-barrel-shift -mxl-pattern-compare -mcpu=v8.50.c -mno-xl-soft-mul -Wl,--no-relax -ffunction-sections -fdata-sections -MMD -MP -MF"src/platform.d" -MT"src/platform.d" -o "src/platform.o" "../src/platform.c"
../src/platform.c:43:23: fatal error: xil_cache.h: No such file or directory
compilation terminated.
make: *** [src/platform.o] Error 1
08:24:21 Build Finished (took 734ms)

Answer 1

Try after setting below environmental variables:
XILINX = C:\Xilinx\14.5\ISE_DS
XILINX_EDK = C:\Xilinx\14.5\ISE_DS\EDK\bin\nt64
this is suggested in the Xilinx forum and seems to solve the problem.
A user writes:
"Magic :-)
I created a batch file to launch it, as from what I know the path variables persit within that batch file
I set it to
set path=""
XILINX = C:\Xilinx\14.5\ISE_DS
XILINX_EDK = C:\Xilinx\14.5\ISE_DS\EDK\bin\nt64
C:\Xilinx\14.5\ISE_DS\EDK\bin\nt64\xsdk.exe
Interesting the shortcut to the SDK first contains a link to settings64.bat which I assumed set all these variables correctly, but it looks like it doesnt get them right!
I have to admit its been a trek just getting this far as the documentation is a bit blurry."
Here you can find the page.