Andrew Sutton <andrew.n.sut...@gmail.com> writes: | Implements reduction of requirements into the constraints language: | logical formulas comprised of atomic propositions. Calls to constraint | predicates are recursively inlined in the resulting expression. All | other calls are treated as atoms. | | 2013-03-01 Andrew Sutton <andrew.n.sut...@gmail.com> | | * gcc/cp/Makefile.lang.in: Add constraints.o target.
Wrong filename. It should be gcc/cp/Make-lang.in. [...] Index: constraint.cc =================================================================== --- constraint.cc (revision 0) +++ constraint.cc (revision 0) @@ -0,0 +1,450 @@ +/* Process declarations and variables for C++ compiler. + Copyright (C) 1988-2013 Free Software Foundation, Inc. + Contributed by Michael Tiemann (tiem...@cygnus.com) This file is newly introduced, so the copyright date should be 2013. It is being contributed by Andrew Sutton if I am not mistaken :-) Patch OK to commit with these issues fixed. -- Gaby
