songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adapted to new collect_cgal_testresults. 

The results_*.txt file now gets split in two (results_*.info added)
This commit is contained in:
Geert-Jan Giezeman 1999-09-06 13:03:35 +00:00
parent a409030af9
commit 1d35599bc3
1 changed files with 61 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
Packages/Maintenance/test_handling/to_zipped_format
View File

@ -2,6 +2,8 @@
use strict;
my $TMPDIR;
sub usage {
print STDERR "$0: usage\n";
print STDERR "$0 result1.tar[.gz] ...\n";
@ -10,18 +12,66 @@ sub usage {
sub make_tempdir()
{
my $dirno = 1;
$::TMPDIR = "TMP$dirno";
while ( -f $::TMPDIR or -d $::TMPDIR ) {
$TMPDIR = "TMP$dirno";
while ( -f $TMPDIR or -d $TMPDIR ) {
++$dirno;
$::TMPDIR = "TMP$dirno";
$TMPDIR = "TMP$dirno";
}
mkdir($::TMPDIR,0770) or die "Cannot create temporary directory $::TMPDIR\n";
mkdir($TMPDIR,0770) or die "Cannot create temporary directory $TMPDIR\n";
}
sub reformat_results($)
{
$_ = shift;
s/\.tar//;
my $platform = $_;
open (PLATFORM_RESULTS,"<${platform}.txt") or return;
while (/^\s*$/) {
$_= <PLATFORM_RESULTS>;
}
open (PLATFORM_INFO,">$platform.info") or return;
open (PLATFORM_NEW_RESULTS,">${platform}.new_results") or return;
my ($CGAL_VERSION,$LEDA_VERSION,$TESTER,$GMP,$CLN) = ("-","-","-","-","-");
while (! /^------/) {
if (/^CGAL_VERSION\s+(.+)$/) {
$CGAL_VERSION = $1;
}
if (/^LEDA\s+version\s+(.+)$/) {
$LEDA_VERSION = $1;
}
if (/^TESTER\s+(.+)$/) {
$TESTER = $1;
}
if (/GMP_SUPPORT\s*=\s*\'_GMP\'/) {
$GMP="+";
}
if (/CLN_SUPPORT\s*=\s*\'_CLN\'/) {
$CLN="+";
}
if (/LEDA_SUPPORT\s*=\s*\'_LEDA\'/ && $LEDA_VERSION eq "-") {
$LEDA_VERSION="+";
}
$_= <PLATFORM_RESULTS>;
}
while (<PLATFORM_RESULTS>) {
print PLATFORM_NEW_RESULTS $_;
}
rename("${platform}.new_results","${platform}.txt");
print PLATFORM_INFO <<"EOF";
$TESTER
$CGAL_VERSION
$LEDA_VERSION
$GMP
$CLN
EOF
close(PLATFORM_INFO);
close(PLATFORM_RESULTS);
close(PLATFORM_NEW_RESULTS);
}
sub one_archive($)
{
my $archive = shift;
make_tempdir();
if (! -f $archive) {
print STDERR "$archive is not a valid filename\n";
return 0;
@ -38,15 +88,18 @@ sub one_archive($)
print STDERR "$0: $archive not a tar file\n";
return 0;
}
rename("$archive","$::TMPDIR/$archive") or die;
chdir("$::TMPDIR") or die;
make_tempdir();
rename("$archive","$TMPDIR/$archive") or die;
chdir("$TMPDIR") or die;
system("tar", "xf", "$archive") == 0 or die;
unlink($archive);
reformat_results($archive);
system('gzip',glob("*/*"));
system('chmod','-R','a+r,og+w','.');
system('tar', 'cf', "../$archive", glob("*")) == 0 or die;
chdir('..') or die;
system('rm', '-rf', "$::TMPDIR")== 0 or die;
system('rm', '-rf', "$TMPDIR")== 0 or die;
return 1;
}