source: xplra/mkplugindist.sh@ 118:6a4f9cc20432

tip
Last change on this file since 118:6a4f9cc20432 was 118:6a4f9cc20432, checked in by István Váradi <ivaradi@…>, 17 months ago

Updated the distribution scripts

  • Property exe set to *
File size: 945 bytes
Line 
1#!/bin/bash
2
3set -e -u
4
5# Script to create the plugin distribution from an already built set of sources.
6#
7# Usage: mkplugindist.sh <build directory> [<destination directory>]
8#
9# <build directory> is the directory containing the build directories as
10# created by buildallhosts.sh.
11
12scriptdir=`dirname $0`
13scriptdir=`cd "${scriptdir}" && pwd`
14
15if test $# -lt 1; then
16 echo "Usage: mkplugindist.sh <build directory> [<destination directory>]"
17 exit 1
18fi
19
20destdir="${2:-}"
21if test -z "${destdir}"; then
22 destdir=`pwd`
23fi
24
25zipfile="${destdir}/xplra.zip"
26builddir="${1}"
27
28tmpdir=`mktemp -d`
29trap "rm -rf $tmpdir" EXIT
30
31xplradir="${tmpdir}/XPLRA"
32mkdir -p "${xplradir}/64"
33
34strip -g -o "${xplradir}/64/lin.xpl" "${builddir}/xpl/xplra/src/plugin/src/xplra/lin.xpl"
35x86_64-w64-mingw32-strip -o "${xplradir}/64/win.xpl" "${builddir}/xpl-win64/xplra/src/plugin/src/xplra/win.xpl.exe"
36
37cd "${tmpdir}"
38rm -f "${zipfile}"
39zip -r "${zipfile}" XPLRA
Note: See TracBrowser for help on using the repository browser.