diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-04T21·06+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-04T21·06+0000 |
commit | 75068e7d753cf6cbe45a4bf294000dca9bd41d8b (patch) | |
tree | c6274cc10caab08349b5585206034f41ca4a575f /src/libmain/shared.hh | |
parent | aab88127321344d5818d823bff515d127108d058 (diff) |
* Use a proper namespace.
* Optimise header file usage a bit. * Compile the parser as C++.
Diffstat (limited to 'src/libmain/shared.hh')
-rw-r--r-- | src/libmain/shared.hh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 82da7550626f..16162604a914 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -1,9 +1,7 @@ #ifndef __SHARED_H #define __SHARED_H -#include <string> - -#include "util.hh" +#include "types.hh" /* These are not implemented here, but must be implemented by a @@ -12,17 +10,21 @@ /* Main program. Called by main() after the ATerm library has been initialised and some default arguments have been processed (and removed from `args'). main() will catch all exceptions. */ -void run(Strings args); +void run(nix::Strings args); /* Should print a help message to stdout and return. */ void printHelp(); +extern std::string programId; + + +namespace nix { + /* Ugh. No better place to put this. */ Path makeRootName(const Path & gcRoot, int & counter); void printGCWarning(); - -extern string programId; +} #endif /* !__SHARED_H */ |