SOCL/examples: simplify message

socl/examples/basic/basic.c

@@ -72,7 +72,7 @@ int main(int UNUSED(argc), char** UNUSED(argv)) {
    printf("Querying platform...\n");
    err = clGetPlatformIDs(0, NULL, &num_platforms);
    if (num_platforms == 0) {
-      printf("No OpenCL platform found. If you use SOCL, this could mean StarPU wasn't configured for OpenCL. Try disabling CUDA support in StarPU (export STARPU_NCUDA=0).\n");
+      printf("No OpenCL platform found.\n");
       exit(77);
    }
    err = clGetPlatformIDs(sizeof(platforms)/sizeof(cl_platform_id), platforms, NULL);

socl/examples/clinfo/clinfo.c

@@ -37,7 +37,7 @@ main(void) {
    // Plaform info
    err = clGetPlatformIDs(0, NULL, &num_platforms);
    if (num_platforms == 0) {
-      printf("No OpenCL platform found. If you use SOCL, this could mean StarPU wasn't configured for OpenCL. Try disabling CUDA support in StarPU (export STARPU_NCUDA=0).\n");
+      printf("No OpenCL platform found.\n");
       exit(77);
    }
    checkErr(err, "Unable to get platform count");

socl/examples/mandelbrot/mandelbrot.c

@@ -316,7 +316,7 @@ int main(int argc, char **argv) {
 
   err = clGetPlatformIDs(0, NULL, &num_platforms);
   if (num_platforms == 0) {
-    printf("No OpenCL platform found. If you use SOCL, this could mean StarPU wasn't configured for OpenCL. Try disabling CUDA support in StarPU (export STARPU_NCUDA=0).\n");
+    printf("No OpenCL platform found\n");
     exit(0);
   }
   err = clGetPlatformIDs(sizeof(platforms)/sizeof(cl_platform_id), platforms, NULL);