summary refs log tree commit diff stats
path: root/win32/ext/enchant-wdk/src/release-x64.bat
blob: 0a40fc71a49285db65efa1bfa1eb25589354b48f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
@echo off
set ENCHANT_DEST=..\..\enchant-wdk-1.6.0-x64
set RELEASE_DIR=..\bin\release
rmdir /q /s %ENCHANT_DEST%
mkdir %ENCHANT_DEST%
copy ..\COPYING.LIB %ENCHANT_DEST%\LICENSE.ENCHANT
xcopy /q /s /i %RELEASE_DIR%\enchant.exe %ENCHANT_DEST%\bin\
copy %RELEASE_DIR%\enchant-lsmod.exe %ENCHANT_DEST%\bin
copy %RELEASE_DIR%\libenchant.dll %ENCHANT_DEST%\bin
xcopy /q /s /i enchant.h %ENCHANT_DEST%\include\enchant\
copy "enchant++.h" %ENCHANT_DEST%\include\enchant\
copy enchant-provider.h %ENCHANT_DEST%\include\enchant\
xcopy /q /s /i %RELEASE_DIR%\libenchant_ispell.dll %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant_ispell.exp %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant_ispell.lib %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant_myspell.dll %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant_myspell.exp %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant_myspell.lib %ENCHANT_DEST%\lib\enchant\
copy %RELEASE_DIR%\libenchant.exp %ENCHANT_DEST%\lib
copy %RELEASE_DIR%\libenchant.lib %ENCHANT_DEST%\lib
lass="w"> GdkEventButton * event, char *nick, int num_sel); void menu_middlemenu (session *sess, GdkEventButton *event); void userlist_button_cb (GtkWidget * button, char *cmd); void nick_command_parse (session *sess, char *cmd, char *nick, char *allnick); void usermenu_update (void); GtkWidget *menu_toggle_item (char *label, GtkWidget *menu, void *callback, void *userdata, int state); GtkWidget *menu_quick_item (char *cmd, char *label, GtkWidget * menu, int flags, gpointer userdata, char *icon); GtkWidget *menu_quick_sub (char *name, GtkWidget *menu, GtkWidget **sub_item_ret, int flags, int pos); GtkWidget *create_icon_menu (char *labeltext, void *stock_name, int is_stock); void menu_create (GtkWidget *menu, GSList *list, char *target, int check_path); void menu_bar_toggle (void); void menu_add_plugin_items (GtkWidget *menu, char *root, char *target); void menu_change_layout (void); /* for menu_quick functions */ #define XCMENU_DOLIST 1 #define XCMENU_SHADED 1 #define XCMENU_MARKUP 2 #define XCMENU_MNEMONIC 4 /* menu items we keep a GtkWidget* for (to change their state) */ #define MENU_ID_AWAY 1 #define MENU_ID_MENUBAR 2 #define MENU_ID_TOPICBAR 3 #define MENU_ID_USERLIST 4 #define MENU_ID_ULBUTTONS 5 #define MENU_ID_MODEBUTTONS 6 #define MENU_ID_LAYOUT_TABS 7 #define MENU_ID_LAYOUT_TREE 8 #define MENU_ID_DISCONNECT 9 #define MENU_ID_RECONNECT 10 #define MENU_ID_JOIN 11 #define MENU_ID_USERMENU 12 #if (MENU_ID_NUM < MENU_ID_USERMENU) #error MENU_ID_NUM is set wrong #endif