aboutsummaryrefslogtreecommitdiff
path: root/src/libmain/shared.hh
blob: 82da7550626ff384faf5cd5c472c547a332b41b9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#ifndef __SHARED_H
#define __SHARED_H

#include <string>

#include "util.hh"


/* These are not implemented here, but must be implemented by a
   program linking against libmain. */

/* 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);

/* Should print a help message to stdout and return. */
void printHelp();

/* Ugh.  No better place to put this. */
Path makeRootName(const Path & gcRoot, int & counter);
void printGCWarning();


extern string programId;


#endif /* !__SHARED_H */