products/sources/formale Sprachen/PVS image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: nasalib-version   Sprache: Unknown

#!/usr/bin/env perl
use Getopt::Long;

$ver=`head -n 1 CHANGES.txt`;

GetOptions('release'=>\$release,
           'longrelease'=>\$longrelease) or exit 1;

if ($release) {
  print $1 if $ver =~/Library ([^\s]+)/;
} elsif ($longrelease) {
  print $1 if $ver =~/Library (.+)/;
} else {
  print "$ver";
}

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]