diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-07-19 16:34:22 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-07-19 19:15:52 +0200 |
| commit | bef5fb5d5d7fecfed21a13004deb83bd90c2cdfe (patch) | |
| tree | 1002942ce916399ba0f31c869ba9f39e8b0c1580 /build_mingw_binaries.sh | |
| parent | fa36afd4b61811fbce8e7bb8b41a9cf5e902077c (diff) | |
| download | gtk-vlc-player-bef5fb5d5d7fecfed21a13004deb83bd90c2cdfe.tar.gz | |
removed everything unrelated to the GtkVlcPlayer widget
Diffstat (limited to 'build_mingw_binaries.sh')
| -rwxr-xr-x | build_mingw_binaries.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/build_mingw_binaries.sh b/build_mingw_binaries.sh deleted file mode 100755 index 254f214..0000000 --- a/build_mingw_binaries.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/sh - -TEMP_TREE=$(mktemp -d) - -TEMP_ZIP=$(mktemp -d) -mkdir $TEMP_ZIP/doc $TEMP_ZIP/ui - -ZIP_FILE=$(pwd)/experiment-player-win32.zip -rm -f $ZIP_FILE - -autoreconf -i -./configure --prefix=/usr \ - --with-default-ui=ui/default.ui \ - --with-help-uri=doc/experiment-player.html \ - CFLAGS="-g0 -O3" - -make clean -make install DESTDIR=$TEMP_TREE - -# copy experiment-player files -cp $TEMP_TREE/usr/bin/* $TEMP_ZIP -cp -r $TEMP_TREE/usr/share/doc/experiment-player/* $TEMP_ZIP/doc -cp $TEMP_TREE/usr/share/experiment-player/*.ui $TEMP_ZIP/ui -cp $TEMP_TREE/usr/share/libexperiment-reader/session.dtd $TEMP_ZIP - -# copy required DLLs (except GTK+) -cp /mingw/bin/libvlc*.dll $TEMP_ZIP -cp -r /mingw/lib/vlc/plugins $TEMP_ZIP -cp /mingw/bin/libxml2.dll $TEMP_ZIP - -# zip! -(cd $TEMP_ZIP; zip -r $ZIP_FILE *) - -# clean up -rm -rf $TEMP_TREE $TEMP_ZIP |