Also make sure that the header has the declaration

src/drivers/opencl/driver_opencl.c

@@ -685,7 +685,7 @@ int _starpu_opencl_driver_run_once(struct _starpu_worker *args)
 		int err;
 		cl_command_queue queue;
 		starpu_opencl_get_queue(args->devid, &queue);
-#ifdef HAVE_CLENQUEUEMARKERWITHWAITLIST
+#if defined(HAVE_CLENQUEUEMARKERWITHWAITLIST) && defined(CL_VERSION_1_2)
 		err = clEnqueueMarkerWithWaitList(queue, 0, NULL, &task_events[args->devid]);
 #else
 		err = clEnqueueMarker(queue, &task_events[args->devid]);