diff options
| author | Stephen Dolan <mu@netsoc.tcd.ie> | 2013-05-11 14:57:58 +0100 |
|---|---|---|
| committer | Stephen Dolan <mu@netsoc.tcd.ie> | 2013-05-11 14:57:58 +0100 |
| commit | 4a5405e4b824b9f935f3f398c53fb83b8d07a15c (patch) | |
| tree | 2ce3069f0c6de9122ed8e5ce3a3e06da95c10227 /build | |
| parent | d03149f4df5c91c16c77d5bda89cdcf724113544 (diff) | |
Rake task to build website including source dist and binaries.
Diffstat (limited to 'build')
| -rw-r--r-- | build/.gitignore | 1 | ||||
| -rwxr-xr-x | build/compile | 31 |
2 files changed, 1 insertions, 31 deletions
diff --git a/build/.gitignore b/build/.gitignore new file mode 100644 index 00000000..f59ec20a --- /dev/null +++ b/build/.gitignore @@ -0,0 +1 @@ +*
\ No newline at end of file diff --git a/build/compile b/build/compile deleted file mode 100755 index 7cfa94de..00000000 --- a/build/compile +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -# This script is used to cross-compile binaries for -# platforms other than the current one - -# Usage: $0 <platformname> <configure options> -# <platformname> is arbitrary, it is the name -# of the directory which will be created to contain -# the output binaries. - -# e.g. $0 win32 --host=i686-w64-mingw32 - -set -e -cd `dirname "$0"` - -plat="$1" -[ -z "$plat" ] && exit 1 -shift - -[ -d "$plat" ] || mkdir "$plat" -rm -rf "$plat/tmp" -mkdir "$plat/tmp" -cd "$plat/tmp" -mkdir install_other -../../../configure \ - --prefix="`pwd`/install_other" \ - --bindir="`pwd`/.." \ - "$@" -make install-binaries -cd .. -rm -rf tmp
\ No newline at end of file |