diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
commit | 61937ea05bff33070cc8252bc3b6c7d6fed7c9c3 (patch) | |
tree | 2c942f052de4dc9f0385bf01b89ec08d01c165bb /contrib | |
parent | 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 (diff) |
various fixes and updates to use and support parser
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/update-copyright.pl | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index a270e7362..5c1f605c9 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -27,6 +27,24 @@ my $excluded_directories = '^(minisat|CVS)$'; # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. my $years = '2009'; +my $standard_template = <<EOF; + ** This file is part of the CVC4 prototype. + ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. +EOF + +my $public_template = <<EOF; + ** This file is part of the CVC4 prototype. + ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. +EOF + ## end config ## use strict; @@ -92,12 +110,7 @@ sub recurse { print $OUT "/********************* -*- C++ -*- */\n"; } print $OUT "/** $file\n"; - print $OUT " ** This file is part of the CVC4 prototype.\n"; - print $OUT " ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys)\n"; - print $OUT " ** Courant Institute of Mathematical Sciences\n"; - print $OUT " ** New York University\n"; - print $OUT " ** See the file COPYING in the top-level source directory for licensing\n"; - print $OUT " ** information.\n"; + print $OUT $standard_template; print $OUT " **\n"; while(my $line = <$IN>) { last if $line =~ /^ \*\*\s*$/; @@ -111,12 +124,7 @@ sub recurse { print $OUT "/********************* -*- C++ -*- */\n"; } print $OUT "/** $file\n"; - print $OUT " ** This file is part of the CVC4 prototype.\n"; - print $OUT " ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys)\n"; - print $OUT " ** Courant Institute of Mathematical Sciences\n"; - print $OUT " ** New York University\n"; - print $OUT " ** See the file COPYING in the top-level source directory for licensing\n"; - print $OUT " ** information.\n"; + print $OUT $standard_template; print $OUT " **\n"; print $OUT " ** [[ Add file-specific comments here ]]\n"; print $OUT " **/\n\n"; |