Thanks for joining the Graphics community.
I understand you are looking for OpenCL support on Intel® HD Graphics 4000 working on Ubuntu 14.04.1 64bit.
Please bear in mind Intel provides limited support for Linux flavors. Since you have installed Intel SDK for OpenCL, the support is handled through different community. I recommend checking with developer community at: https://software.intel.com/
Additional information about Intel graphics and Linux support is available here: