Source/WebKit/efl/DefaultTheme/CMakeLists.txt

   1 SET(DefaultTheme_RESOURCE_NAME default.edj CACHE STRING "default theme name")
   2 SET(DefaultTheme_DIR "${WEBKIT_DIR}/efl/DefaultTheme")
   3
   4 SET(DefaultTheme_DEFINITION "")
   5 IF (ENABLE_PROGRESS_ELEMENT)
   6     LIST(APPEND DefaultTheme_DEFINITION "-DENABLE_PROGRESS_ELEMENT")
   7 ENDIF ()
   8
   9 ADD_CUSTOM_COMMAND(
  10     OUTPUT ${THEME_BINARY_DIR}/${DefaultTheme_RESOURCE_NAME}
  11     COMMAND ${EDJE_CC_EXECUTABLE} -v ${DefaultTheme_DEFINITION} default.edc ${THEME_BINARY_DIR}/${DefaultTheme_RESOURCE_NAME}
  12     DEPENDS
  13         default.edc
  14         widget/button/button.edc
  15         widget/button/img_button_focus.png
  16         widget/button/img_button_hover.png
  17         widget/button/img_button_normal.png
  18         widget/button/img_button_press.png
  19         widget/check/check.edc
  20         widget/check/img_check_off_focus.png
  21         widget/check/img_check_off_hover.png
  22         widget/check/img_check_off.png
  23         widget/check/img_check_on_focus.png
  24         widget/check/img_check_on_hover.png
  25         widget/check/img_check_on.png
  26         widget/combo/combo.edc
  27         widget/combo/00_combo_focus_button.png
  28         widget/combo/00_combo_focus.png
  29         widget/combo/00_combo_hover_button.png
  30         widget/combo/00_combo_hover.png
  31         widget/combo/00_combo_normal_button.png
  32         widget/combo/00_combo_normal.png
  33         widget/combo/00_combo_border.png
  34         widget/combo/00_combo_focus_border.png
  35         widget/combo/00_combo_hover_border.png
  36         widget/combo/00_icon.png
  37         widget/entry/entry.edc
  38         widget/entry/img_focused.png
  39         widget/entry/img_hovered.png
  40         widget/entry/img_normal.png
  41         widget/file/file.edc
  42         widget/file/file_focus.png
  43         widget/file/file_hover.png
  44         widget/file/file_normal.png
  45         widget/file/file_press.png
  46 #        widget/mediacontrol/fullscreenbutton/enterfullscreenbutton.png
  47 #        widget/mediacontrol/fullscreenbutton/exitfullscreenbutton.png
  48         widget/mediacontrol/fullscreenbutton/fullscreen_button.edc
  49         widget/mediacontrol/mutebutton/mute_button.edc
  50         widget/mediacontrol/mutebutton/mutebutton.png
  51         widget/mediacontrol/mutebutton/unmutebutton.png
  52         widget/mediacontrol/playpausebutton/pausebutton.png
  53         widget/mediacontrol/playpausebutton/playbutton.png
  54         widget/mediacontrol/playpausebutton/playpause_button.edc
  55         widget/mediacontrol/seekbackwardbutton/seekbackward_button.edc
  56         widget/mediacontrol/seekbackwardbutton/seekbackwardbutton.png
  57         widget/mediacontrol/seekforwardbutton/seekforward_button.edc
  58         widget/mediacontrol/seekforwardbutton/seekforwardbutton.png
  59         widget/mediacontrol/sliderthumb/slider_thumb.edc
  60         widget/mediacontrol/sliderthumb/sliderthumb.png
  61         widget/mediacontrol/sliderthumb/sliderthumb_press.png
  62 #        widget/mediacontrol/togglecaptionsbutton/closedcaption_disabled.png
  63 #        widget/mediacontrol/togglecaptionsbutton/closedcaption.png
  64 #        widget/mediacontrol/togglecaptionsbutton/toggle_captions_button.edc
  65         widget/progressbar/bt_base.png
  66         widget/progressbar/progressbar.edc
  67         widget/progressbar/shelf_inset.png
  68         widget/radio/img_radio_off_focus.png
  69         widget/radio/img_radio_off_hover.png
  70         widget/radio/img_radio_off.png
  71         widget/radio/img_radio_on_focus.png
  72         widget/radio/img_radio_on_hover.png
  73         widget/radio/img_radio_on.png
  74         widget/radio/radio.edc
  75         widget/scrollbar/scrollbar.edc
  76         widget/scrollbar/scrollbar_h.png
  77         widget/scrollbar/scrollbar_knob_h.png
  78         widget/scrollbar/scrollbar_knob_v.png
  79         widget/scrollbar/scrollbar_v.png
  80         widget/search/cancel/cancel_normal_button2.png
  81         widget/search/cancel/cancel_normal_button.png
  82         widget/search/cancel/search_cancel.edc
  83         widget/search/decoration/decoration_normal_button.png
  84         widget/search/decoration/search_decoration.edc
  85         widget/search/field/field_focused.png
  86         widget/search/field/field_hovered.png
  87         widget/search/field/field_normal.png
  88         widget/search/field/search_field.edc
  89         widget/slider/slider.edc
  90         widget/slider/slider_fill_h.png
  91         widget/slider/slider_fill_v.png
  92         widget/slider/slider_h.png
  93 #        widget/slider/slider_thumb_h.png
  94 #        widget/slider/slider_thumb_press_h.png
  95 #        widget/slider/slider_thumb_press_v.png
  96 #        widget/slider/slider_thumb_v.png
  97 #        widget/slider/slider_v.png
  98         widget/spinner/sp_bg.png
  99         widget/spinner/sp_down_default.png
 100         widget/spinner/sp_down_hover.png
 101         widget/spinner/sp_down_pressed.png
 102         widget/spinner/spinner.edc
 103         widget/spinner/sp_up_default.png
 104         widget/spinner/sp_up_hover.png
 105         widget/spinner/sp_up_pressed.png
 106     WORKING_DIRECTORY ${DefaultTheme_DIR}
 107     VERBATIM
 108 )
 109
 110 ADD_CUSTOM_TARGET(DefaultTheme ALL
 111     DEPENDS ${THEME_BINARY_DIR}/${DefaultTheme_RESOURCE_NAME}
 112 )
 113
 114 # FIXME: Should we install our default theme to share/edje insted of share/ewebkit-0/themes?
 115 INSTALL(FILES ${THEME_BINARY_DIR}/${DefaultTheme_RESOURCE_NAME} DESTINATION share/edje)