[Compbench-devel] CompBenchmarks++ compbenchmarks-config, 1.13, 1.14

[Frederic T. <xf...@us...>]

Update of /cvsroot/compbench/CompBenchmarks++
In directory sc8-pr-cvs4.sourceforge.net:/tmp/cvs-serv12071

Modified Files:
	compbenchmarks-config 
Log Message:
Exists when an unknown option is passed.
Man page (pod).

Index: compbenchmarks-config
===================================================================
RCS file: /cvsroot/compbench/CompBenchmarks++/compbenchmarks-config,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** compbenchmarks-config	20 Sep 2006 12:13:09 -0000	1.13
--- compbenchmarks-config	25 Sep 2006 15:48:30 -0000	1.14
***************
*** 856,860 ****
  		my $r = `$cmd`;
  		$SIG{INT} = 'DEFAULT';
! 
  		my $end = time();
  		$TOTAL_TIME+=($end-$beg);
--- 856,860 ----
  		my $r = `$cmd`;
  		$SIG{INT} = 'DEFAULT';
! 		`./slowdown.sh`;
  		my $end = time();
  		$TOTAL_TIME+=($end-$beg);
***************
*** 1051,1054 ****
--- 1051,1057 ----
    } elsif ($ARGV[0] eq '--setup') {
      cbmc_setup();
+   } else {
+     print STDERR "Unknown option.\n";
+     exit(0);
    }
  } else {
***************
*** 1077,1078 ****
--- 1080,1145 ----
    # cbmc_dialog_benchmark_run();
  }
+ 
+ =head1 NAME
+ 
+ compbenchmarks 0.3.0 - compilers' benchmarking environment
+ 
+ =head1 SYNOPSIS
+ 
+ compbenchmarks-config
+ 
+ compbenchmarks-config --setup
+ 
+ =head1 DESCRIPTION
+ 
+ This tool provides a simple dialog based interface to download, compile and
+ evaluate C/C++ benchmarks more conveniently, according to customizable
+ parameters.
+ 
+ Ran without argument, it proposes a dialog based GUI to interact with the
+ compbenchmark.
+ 
+ Using --setup argument, it checks for basic configuration files and sets up the
+ missing ones, basically according to your environment.
+ 
+ compbenchmarks-config used compbenchmark program.
+ 
+ =head1 DIRECTORIES
+ 
+ =over
+ 
+ =item ~/.compbenchmarks root directory for all related files and directories
+ 
+ =item ~/.compbenchmarks/Downloads holds downloaded benchmarks
+ 
+ =item ~/.compbenchmarks/$HOSTNAME your host's dedicated space
+ 
+ =item ~/.compbenchmarks/$HOSTNAME/Extracts extract and compilation directory for benchmark's archives
+ 
+ =item ~/.compbenchmarks/$HOSTNAME/Status holds benchmarks' status
+ 
+ =item ~/.compbenchmarks/$HOSTNAME/Configuration configuration file. See below.
+ 
+ =back
+ 
+ =head1 CONFIGURATION FILES
+ 
+ Files are stored in ~/.compbenchmarks/$HOSTNAME/Configuration/, where $HOSTNAME
+ is the shortname of your box. Here's details of files you can found in that
+ directory :
+ 
+ =over
+ 
+ =item benchmarks : list of the benchmarks selected for evaluation
+ 
+ =item Benchmarks-Run : contains the times each benchmark'll be ran for each particular context
+ 
+ =item default-compilers-$LANGUAGE : defines compilers to use for $LANGUAGE (C/C++)
+ 
+ =item default-compilers-$LANGUAGE-options : defines compilation options to use for each compiler a given language (C/C++)
+ 
+ =back
+ 
+ =head1 AUTHOR
+ 
+ Frederic Trouche