From 50d49538c4475743a5c15336526d269e177061ea Mon Sep 17 00:00:00 2001 From: kostis Date: Sun, 11 Mar 2007 09:11:20 +0000 Subject: [PATCH] Changed order: 1st then JITI. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1828 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/index/Benchmarks/go_xxx | 19 ++++++++++--------- docs/index/Benchmarks/go_yap | 20 ++++++++++---------- 2 files changed, 20 insertions(+), 19 deletions(-) diff --git a/docs/index/Benchmarks/go_xxx b/docs/index/Benchmarks/go_xxx index 1105febfc..ab59587a0 100755 --- a/docs/index/Benchmarks/go_xxx +++ b/docs/index/Benchmarks/go_xxx @@ -12,21 +12,22 @@ else compress.P sg_cyl.P pta.P mutagenesis.P" fi -echo "========================================" -echo " XXX JITI 1st " -echo "========================================" +printf "========================================\n" +printf " XXX 1st JITI \n" +printf "========================================\n" for file in $testfiles ; do benchname=`basename $file .P` printf "%21s " $benchname - $XXX << EOF 2>/dev/null - ['$file']. - time. -EOF -printf " \t" $XXX << EOF 2>/dev/null compile('$file',[jiti_off]). ['$file']. time. EOF -echo +rm *.O +printf " \t" + $XXX << EOF 2>/dev/null + ['$file']. + time. +EOF +printf "\n" done diff --git a/docs/index/Benchmarks/go_yap b/docs/index/Benchmarks/go_yap index bfa035815..44108adb2 100755 --- a/docs/index/Benchmarks/go_yap +++ b/docs/index/Benchmarks/go_yap @@ -10,23 +10,23 @@ else compress.P sg_cyl.P pta.P mutagenesis.P" fi -echo "========================================" -echo " Yap JITI 1st " -echo "========================================" +printf "========================================\n" +printf " Yap 1st JITI \n" +printf "========================================\n" for file in $testfiles ; do benchname=`basename $file .P` printf "%21s " $benchname - $XXX << EOF 2>/dev/null - yap_flag(tabling_mode,local). - ['$file']. - time. -EOF -printf " \t" $XXX << EOF 2>/dev/null set_prolog_flag(index,single). yap_flag(tabling_mode,local). ['$file']. time. EOF -echo +printf " \t" + $XXX << EOF 2>/dev/null + yap_flag(tabling_mode,local). + ['$file']. + time. +EOF +printf "\n" done