Admin/bash_process/build
author haftmann
Fri, 14 Jun 2019 08:34:28 +0000
changeset 70347 e5cd5471c18a
parent 66691 a8703e8ee1d3
child 73599 981df2e1f646
permissions -rwxr-xr-x
official fact collection sign_simps

#!/usr/bin/env bash
#
# Multi-platform build script

THIS="$(cd "$(dirname "$0")"; pwd)"
PRG="$(basename "$0")"


# diagnostics

function usage()
{
  echo
  echo "Usage: $PRG TARGET"
  echo
  exit 1
}

function fail()
{
  echo "$1" >&2
  exit 2
}


# command line args

[ "$#" -eq 0 ] && usage
TARGET="$1"; shift

[ "$#" -eq 0 ] || usage


# main

mkdir -p "$TARGET"

case "$TARGET" in
  x86_64-linux | x86_64-darwin)
    cc -Wall -m64 bash_process.c -o "$TARGET/bash_process"
    ;;
  x86-linux | x86-darwin)
    cc -Wall -m32 bash_process.c -o "$TARGET/bash_process"
    ;;
  x86_64-cygwin | x86-cygwin)
    cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
    ;;
  *)
    cc -Wall bash_process.c -o "$TARGET/bash_process"
    ;;
esac