Commit 2a78a4d1 authored by Daniel Espinosa Ortiz's avatar Daniel Espinosa Ortiz

Merge branch 'gdaui-headers' into 'master'

Missed header files for gdaui were added

See merge request GNOME/libgda!63
parents 6f00e96e e5cfb3a2
Pipeline #40764 failed with stage
in 45 minutes and 10 seconds
......@@ -40,7 +40,8 @@ libgda_ui_headers = files([
'gdaui-rt-editor.h',
'gdaui-server-operation.h',
'gdaui-tree-store.h',
'gdaui-plugin.h'
'gdaui-plugin.h',
'libgda-ui.h'
])
libgda_ui_sources = files([
......@@ -128,6 +129,8 @@ gdaui_enums = gnome_module.mkenums_simple('gdaui-enum-types',
)
libgda_ui_sources_all += gdaui_enums
install_headers(libgda_ui_headers,
install_dir: join_paths(get_option('includedir'), project_package,'libgda-ui') )
libgdaui = library('gda-ui-'+project_api_version,
libgda_ui_sources_all,
......@@ -204,4 +207,4 @@ libgdaui_vapi = custom_target('gdaui'+project_api_version+'_vapi',
depends: libgdaui,
install_dir: join_paths(get_option('datadir'),'vala','vapi')
)
endif
\ No newline at end of file
endif
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment