Laboratoire de l'Informatique et du Parallélisme » MEPlib

#! /bin/sh

#

# checkCandidates.sh: check a set of candidates with the infinite norm.

#

# It can be the first computed set (directy by GP)

# or a filtered set or even a file whose name is

# given on the command line. This last case has the priority.

#

SCRIPT_DIR=`dirname $0`

BIN_DIR=$SCRIPT_DIR/bin

CHECK_SOLUTIONS_PROGRAM=$BIN_DIR/checkSolutions-02.pl

ARGS_FOR_CHECK_SCRIPT=$SCRIPT_DIR/argsForCheck.sh

CANDIDATES_FILE=$SCRIPT_DIR/candidates.txt

FILTERED_CANDIDATES_FILE=$SCRIPT_DIR/filteredCandidates.txt

SORTED_SOLUTIONS_FILE=$SCRIPT_DIR/sortedSolutions.txt

HAS_CANDIDATES=0

HAS_FILTERED_CANDIDATES=0

FILE_FOR_TEST=''

CHOICE=''

#

if [ -n "$1" ]

  then

    if [ -e $1 -a -s $1 ]

      then

        FILE_FOR_TEST=$1

        $BIN_DIR/checkSolutions-02.pl `$ARGS_FOR_CHECK_SCRIPT $FILE_FOR_TEST` | tee $SORTED_SOLUTIONS_FILE

	exit $?

      else

        echo

        echo

        echo `basename $0`": \"$1\" is not a valid file. "

        echo "Aborting the program!"

        echo

        echo

        exit 1

    fi

fi

#

if [ -e $CANDIDATES_FILE -a -s $CANDIDATES_FILE ]

  then

    HAS_CANDIDATES=1

fi

if [ -e $FILTERED_CANDIDATES_FILE -a -s $FILTERED_CANDIDATES_FILE ]

  then

    HAS_FILTERED_CANDIDATES=1

fi

#

if [ $HAS_CANDIDATES -eq 1 ]

  then

    if [ $HAS_FILTERED_CANDIDATES -eq 1 ]

      then

        while [ "x$CHOICE" != "x1" -a "x$CHOICE" != "x2" ]

          do

            echo

            echo

            echo You can test one of these two files:

            echo - `basename $CANDIDATES_FILE`"          (1)"

            echo - `basename $FILTERED_CANDIDATES_FILE`"  (2)"

            echo

            echo -n "Make up your choice: "

            read CHOICE

	  done

       echo

       echo

       case $CHOICE in

         "1")

	   FILE_FOR_TEST=$CANDIDATES_FILE

	   ;;

	 "2")

	   FILE_FOR_TEST=$FILTERED_CANDIDATES_FILE

	   ;;

       esac

    else # No filtered candidates file

      FILE_FOR_TEST=$CANDIDATES_FILE

    fi

  else # No candidates file (may be a filtered candidates files?).

    if [ "$HAS_FILTERED_CANDIDATES" -eq 1 ]

      then

        FILE_FOR_TEST=$FILTERED_CANDIDATES_FILE

      else

        echo

	echo

	echo `basename $O`": there is no available candidates files."

	echo "You may, for instance, run  the \"computeCandidates.sh\""

	echo "script to create a new one".

	echo "Aborting the program!"

	exit 1

	echo

	echo

    fi

fi

$BIN_DIR/checkSolutions-02.pl `$ARGS_FOR_CHECK_SCRIPT $FILE_FOR_TEST` | tee $SORTED_SOLUTIONS_FILE