-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.cpp
31 lines (23 loc) · 705 Bytes
/
main.cpp
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
29
30
31
#include <string>
#include <cstring>
#include "formatting.h"
extern std::string gpFilename, vpFilename;
void helper() {
/* Here outputs the helper message */
}
int main(int argc, char *argv[]) {
/* If there is a helper flag */
for (int i = 1; i < argc; i++) if(strncmp(argv[i], "-h", 2) == 0) { helper(); return 0; }
/* Set Default Flags */
gpFilename = "generator.cpp";
vpFilename = "verifier.cpp";
/* Collect flags */
for (int i = 1; i < argc-1; i++) {
/* Generator File Name */
if(strncmp(argv[i], "-G", 2) == 0) { gpFilename = argv[i+1]; }
/* Verifier File Name */
if(strncmp(argv[i], "-V", 2) == 0) { vpFilename = argv[i+1]; }
}
yyparse();
return 0;
}