#!/bin/sh
#*=====================================================================*/
#*    serrano/prgm/project/bigloo/bigloo/autoconf/tools                */
#*    -------------------------------------------------------------    */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Wed Aug  9 13:27:23 1995                          */
#*    Last change :  Thu Dec 12 08:15:10 2024 (serrano)                */
#*    -------------------------------------------------------------    */
#*    Check for essential tools.                                       */
#*=====================================================================*/

#*---------------------------------------------------------------------*/
#*    make                                                             */
#*---------------------------------------------------------------------*/
which make > /dev/null || which gmake > /dev/null

if [ "$?" = "1" ]; then
  echo "*** ERROR: Cannot find \"make\", abort."
  exit 1
fi

#*---------------------------------------------------------------------*/
#*    sed                                                              */
#*---------------------------------------------------------------------*/
which sed > /dev/null

if [ "$?" = "1" ]; then
  echo "*** ERROR: Cannot find \"sed\", abort."
  exit 1
fi

#*---------------------------------------------------------------------*/
#*    awk                                                              */
#*---------------------------------------------------------------------*/
which awk > /dev/null

if [ "$?" = "1" ]; then
  echo "*** ERROR: Cannot find \"awk\", abort."
  exit 1
fi
