diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-23 16:42:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-23 16:42:12 +0000 |
commit | f6968899de4d27c5bc986c3ac89972fbbe35c361 (patch) | |
tree | dd3461b2e08e1568ca9aff97a56e93a0445b3abc /src/main | |
parent | 95e5ca98d4c22897c0192a78ebeeb05e4838db2b (diff) |
fixups, file comments
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/Makefile.am | 1 | ||||
-rw-r--r-- | src/main/about.h | 13 | ||||
-rw-r--r-- | src/main/getopt.cpp | 13 | ||||
-rw-r--r-- | src/main/main.cpp | 13 | ||||
-rw-r--r-- | src/main/main.h | 13 | ||||
-rw-r--r-- | src/main/usage.h | 13 | ||||
-rw-r--r-- | src/main/util.cpp | 13 |
7 files changed, 73 insertions, 6 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index cf392f6b6..dddfb3219 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -1,5 +1,6 @@ INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -fvisibility=hidden +AM_CPPFLAGS = -D__BUILDING_CVC4LIB bin_PROGRAMS = cvc4 diff --git a/src/main/about.h b/src/main/about.h index e02183ba7..458716842 100644 --- a/src/main/about.h +++ b/src/main/about.h @@ -1,4 +1,15 @@ -#ifndef __CVC4__MAIN__ABOUT_H +/********************* -*- C++ -*- */ +/** about.h + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #define __CVC4__MAIN__ABOUT_H namespace CVC4 { diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index 5f32ccd77..f1fe375b6 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -1,4 +1,15 @@ -#include <cstdio> +/********************* -*- C++ -*- */ +/** getopt.cpp + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <cstdlib> #include <new> #include <unistd.h> diff --git a/src/main/main.cpp b/src/main/main.cpp index d2c6cb26d..44543a75f 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -1,4 +1,15 @@ -#include <cstdio> +/********************* -*- C++ -*- */ +/** main.cpp + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <cstdlib> #include <cerrno> #include <new> diff --git a/src/main/main.h b/src/main/main.h index d0a517967..5e0c68053 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -1,4 +1,15 @@ -#include <iostream> +/********************* -*- C++ -*- */ +/** main.h + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <exception> #include <string> diff --git a/src/main/usage.h b/src/main/usage.h index edc9ad1d1..3326108ac 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -1,4 +1,15 @@ -#ifndef __CVC4__MAIN__USAGE_H +/********************* -*- C++ -*- */ +/** usage.h + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #define __CVC4__MAIN__USAGE_H namespace CVC4 { diff --git a/src/main/util.cpp b/src/main/util.cpp index 63c8cc860..572aea00f 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -1,4 +1,15 @@ -#include <string> +/********************* -*- C++ -*- */ +/** util.cpp + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 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. + ** + ** [[ Add file-specific comments here ]] + **/ + #include <cstdio> #include <cstdlib> #include <cerrno> |