diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-16 23:28:12 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-16 23:28:12 +0000 |
| commit | 99449161271f08e8a48ea71cae86ad9bd0e1e828 (patch) | |
| tree | 0d717d45ab2b0a853028f40dd6b4eef58c848cfb /src/runtime/c/setup.sh | |
| parent | 6c40e0ac379641b4ae0f048cca3d6c0531e9229e (diff) | |
src/runtime/c/setup.sh: executable version of INSTALL, used from debian/rules
Diffstat (limited to 'src/runtime/c/setup.sh')
| -rw-r--r-- | src/runtime/c/setup.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/runtime/c/setup.sh b/src/runtime/c/setup.sh new file mode 100644 index 000000000..d77bf6873 --- /dev/null +++ b/src/runtime/c/setup.sh @@ -0,0 +1,21 @@ + +# Executable version of INSTALL + +command="$1" +shift + +case "$command" in + configure) + [ `uname` != Darwin ] || glibtoolize + autoreconf -i + ./configure "$@" + ;; + build) + make "$@" + ;; + copy|install) + make install "$@" + ;; + *) + echo "Usage: setup.sh [configure|build|copy|install] ..." +esac |