configure.in
changeset 10089 25fda20d0173
parent 10043 24e8d042e532
child 10303 b326f93e1bc5
equal deleted inserted replaced
10088:33bee97dbcbb 10089:25fda20d0173
  1282             if $PKG_CONFIG --exists mirclient egl xkbcommon ; then
  1282             if $PKG_CONFIG --exists mirclient egl xkbcommon ; then
  1283                 MIR_CFLAGS=`$PKG_CONFIG --cflags mirclient egl xkbcommon`
  1283                 MIR_CFLAGS=`$PKG_CONFIG --cflags mirclient egl xkbcommon`
  1284                 MIR_LIBS=`$PKG_CONFIG --libs mirclient egl xkbcommon`
  1284                 MIR_LIBS=`$PKG_CONFIG --libs mirclient egl xkbcommon`
  1285                 save_CFLAGS="$CFLAGS"
  1285                 save_CFLAGS="$CFLAGS"
  1286                 CFLAGS="$save_CFLAGS $MIR_CFLAGS"
  1286                 CFLAGS="$save_CFLAGS $MIR_CFLAGS"
  1287                 
  1287 
  1288                 dnl This will disable Mir on Ubuntu < 14.04
  1288                 dnl This will disable Mir on Ubuntu < 15.04 (Mir should be 0.14 at this point)
  1289                 AC_TRY_COMPILE([
  1289                 AC_TRY_COMPILE([
  1290                 #include <mir_toolkit/mir_client_library.h>
  1290                 #include <mir_toolkit/mir_client_library.h>
  1291                 ],[
  1291                 ],[
  1292                     MirMotionToolType tool = mir_motion_tool_type_mouse;
  1292                     MirPointerButton button = mir_pointer_button_primary;
  1293                 ],[
  1293                 ],[
  1294                 video_mir=yes
  1294                 video_mir=yes
  1295                 ])
  1295                 ])
  1296                 CFLAGS="$save_CFLAGS"
  1296                 CFLAGS="$save_CFLAGS"
  1297             fi
  1297             fi