diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:46:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:46:17 +0000 |
commit | 92a04e03876154a946b729855a72e1e871304fe5 (patch) | |
tree | ab454cccf4cff38c4c0c9a9c0786b75340f07e09 /contrib/update-copyright.pl | |
parent | 7329c1f1e3603c86c7ad88cbdefe2393d9740d98 (diff) |
Added theory output channel interfaces and "Interrupted" exception.
Updated contrib/update-copyright to handle Antlr (.g) parser/lexer inputs.
Updated copyright year.
Added a new "bool" theory (right now just to hold a kind.h contribution).
Added "kinds" files to UF and the new "bool" theory.
Diffstat (limited to 'contrib/update-copyright.pl')
-rwxr-xr-x | contrib/update-copyright.pl | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 1548e3fa6..948e276d1 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -19,22 +19,22 @@ # .deps, etc.) # # It ignores any file not ending with one of: -# .c .cc .cpp .C .h .hh .hpp .H .y .yy .ypp .Y .l .ll .lpp .L +# .c .cc .cpp .C .h .hh .hpp .H .y .yy .ypp .Y .l .ll .lpp .L .g # (so, this includes emacs ~-backups, CVS detritus, etc.) # # It ignores any directory matching $excluded_directories # (so, you should add here any sources imported but not covered under # the license.) -my $excluded_directories = '^(minisat|CVS)$'; +my $excluded_directories = '^(minisat|CVS|generated)$'; # Years of copyright for the template. E.g., the string # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. -my $years = '2009'; +my $years = '2009, 2010'; my $standard_template = <<EOF; ** This file is part of the CVC4 prototype. - ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys) + ** 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 @@ -43,7 +43,7 @@ EOF my $public_template = <<EOF; ** This file is part of the CVC4 prototype. - ** Copyright (c) $years The Analysis of Computer Systems Group (ACSys) + ** 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 @@ -102,7 +102,7 @@ sub recurse { next if $file =~ /$excluded_directories/; recurse($srcdir.'/'.$file); } else { - next if !($file =~ /\.(c|cc|cpp|C|h|hh|hpp|H|y|yy|ypp|Y|l|ll|lpp|L)$/); + next if !($file =~ /\.(c|cc|cpp|C|h|hh|hpp|H|y|yy|ypp|Y|l|ll|lpp|L|g)$/); print "$srcdir/$file..."; my $infile = $srcdir.'/'.$file; my $outfile = $srcdir.'/#'.$file.'.tmp'; @@ -114,14 +114,19 @@ sub recurse { my $minor_contributors = <$AUTHOR>; chomp $minor_contributors; close $AUTHOR; $_ = <$IN>; - if(m,^(%{)?/\*\*\*\*\*,) { + if(m,^(%{)?/\*(\*| )\*\*\*,) { print "updating\n"; if($file =~ /\.(y|yy|ypp|Y)$/) { print $OUT "%{/******************* -*- C++ -*- */\n"; + print $OUT "/** $file\n"; + } elsif($file =~ /\.g$/) { + # avoid javadoc-style comment here; antlr complains + print $OUT "/* ******************* -*- C++ -*- */\n"; + print $OUT "/* $file\n"; } else { print $OUT "/********************* -*- C++ -*- */\n"; + print $OUT "/** $file\n"; } - print $OUT "/** $file\n"; print $OUT " ** Original author: $author\n"; print $OUT " ** Major contributors: $major_contributors\n"; print $OUT " ** Minor contributors (to current version): $minor_contributors\n"; |