diff options
Diffstat (limited to 'contrib/gnunet-tree-builder/regenerate')
-rwxr-xr-x | contrib/gnunet-tree-builder/regenerate | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/contrib/gnunet-tree-builder/regenerate b/contrib/gnunet-tree-builder/regenerate new file mode 100755 index 000000000..fd5696a2a --- /dev/null +++ b/contrib/gnunet-tree-builder/regenerate | |||
@@ -0,0 +1,20 @@ | |||
1 | #!/bin/sh | ||
2 | # MAINDIR: Environment Variable for GNUnet workspace | ||
3 | # Note: The script will generate the grammar file C.out.jj under src/monkey | ||
4 | |||
5 | rm -f *.java | ||
6 | mkdir -p org/gnunet/monkey/parser | ||
7 | cd org/gnunet/monkey/parser | ||
8 | jtb -printer -jd -np org.gnunet.monkey.parser.nodes -vp org.gnunet.monkey.parser.visitors -o $MAINDIR/src/monkey/C.out.jj $MAINDIR/src/monkey/C.jj | ||
9 | javacc -STATIC=false $MAINDIR/src/monkey/C.out.jj | ||
10 | |||
11 | echo 'package org.gnunet.monkey.parser;' > PACKAGE | ||
12 | for n in *.java | ||
13 | do | ||
14 | cat $n >> PACKAGE | ||
15 | mv PACKAGE $n | ||
16 | echo 'package org.gnunet.monkey.parser;' > PACKAGE | ||
17 | done | ||
18 | |||
19 | rm -f PACKAGE | ||
20 | \ No newline at end of file | ||