sudokut/go.sh

   1 #!/bin/bash -x
   2
   3 # Copyright (C) 2011 Sebastian Pop <sebpop@gmail.com>.
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 3 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.  A copy of this license
  13 # can be downloaded from http://www.gnu.org/copyleft/gpl.html
  14
  15 p=`pwd`
  16 rm -rf usr bash-4.2 sudokut0.4
  17 mkdir -p usr
  18 tar -zxf bash-4.2.tar.gz
  19 tar -jxf sudokut0.4-1.tar.bz2
  20 cd $p/bash-4.2
  21 ./configure --prefix=$p/usr/
  22 make -j $procs CFLAGS="$CFLAGS"
  23 make install
  24 cd $p/sudokut0.4/
  25 sed -i -e "s|/bin/bash|$p/usr/bin/bash|g" $p/sudokut0.4/sudokut
  26 before=`date +%s.%N`
  27 ./sudokut-100-runs.sh > /dev/null 2>&1
  28 after=`date +%s.%N`
  29 echo "sudokut run time: `echo "$after - $before" | bc`" > $p/log
  30 cd $p; rm -rf usr bash-4.2 sudokut0.4