minion/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 minion-0.9
  17 tar -zxf minion-0.9-src.tar.gz
  18 cd minion-0.9
  19 mkdir build
  20 cd build
  21 CPU=""
  22 cmake -DQUICK=1 ..
  23 make clean
  24 make minion -j $procs CXX_FLAGS="$CXXFLAGS" CXX="$CXX"
  25 > $p/log
  26 before=`date +%s.%N`
  27 for arg in {"benchmarks/Bibd/bibdline11.minion","benchmarks/graceful/k6p2_table.minion","benchmarks/Quasigroup/qg-watchelement-7-10.minion","benchmarks/solitaire/solitaire_benchmark_8.minion"}; do
  28     ./minion-quick $p/minion-0.9/$arg >> $p/log 2>&1
  29 done
  30 after=`date +%s.%N`
  31 echo "minion run time: `echo "$after - $before" | bc`" >> $p/log
  32 sed -i -e '/Sol:/d' -e '/^$/d' $p/log
  33 cd $p; rm -rf minion-0.9