diff options
author | Karl Trygve Kalleberg <karltk@gentoo.org> | 2004-06-19 22:54:38 +0000 |
---|---|---|
committer | Karl Trygve Kalleberg <karltk@gentoo.org> | 2004-06-19 22:54:38 +0000 |
commit | 882a149048b840c2a81d88e7eafccbe040eda070 (patch) | |
tree | 1279c03ff1a67a67c3928c17994f75983f8bfb6f /dev-java/javacc/files | |
parent | Version bump. (diff) | |
download | historical-882a149048b840c2a81d88e7eafccbe040eda070.tar.gz historical-882a149048b840c2a81d88e7eafccbe040eda070.tar.bz2 historical-882a149048b840c2a81d88e7eafccbe040eda070.zip |
Fixes #53829.
Diffstat (limited to 'dev-java/javacc/files')
-rw-r--r-- | dev-java/javacc/files/digest-javacc-3.2-r2 | 1 | ||||
-rw-r--r-- | dev-java/javacc/files/javacc.sh-3.2 | 14 | ||||
-rw-r--r-- | dev-java/javacc/files/jjdoc-3.2 | 14 | ||||
-rw-r--r-- | dev-java/javacc/files/jjtree-3.2 | 14 |
4 files changed, 43 insertions, 0 deletions
diff --git a/dev-java/javacc/files/digest-javacc-3.2-r2 b/dev-java/javacc/files/digest-javacc-3.2-r2 new file mode 100644 index 000000000000..5a33b72706cc --- /dev/null +++ b/dev-java/javacc/files/digest-javacc-3.2-r2 @@ -0,0 +1 @@ +MD5 bc0fe5d325e24f2e7c95e5c962813354 javacc-3.2.tar.gz 620640 diff --git a/dev-java/javacc/files/javacc.sh-3.2 b/dev-java/javacc/files/javacc.sh-3.2 new file mode 100644 index 000000000000..b5509e339980 --- /dev/null +++ b/dev-java/javacc/files/javacc.sh-3.2 @@ -0,0 +1,14 @@ +#! /bin/sh +# +# Copyright (c) 2004, Gentoo Technologies, Inc. +# Copyright (c) 2004, Karl Trygve Kalleberg <karltk@gentoo.org> +# +# Licensed under the GNU General Public License, v2 + +. /etc/env.d/java/22javacc +[ -f "${HOME}/.gentoo/env.d/22javacc" ] && . ${HOME}/.gentoo/env.d/22javacc + +java=$(java-config --java) +classpath=$(java-config --classpath=javacc) + +${java} -classpath ${classpath} javacc "$@" diff --git a/dev-java/javacc/files/jjdoc-3.2 b/dev-java/javacc/files/jjdoc-3.2 new file mode 100644 index 000000000000..f886ee838682 --- /dev/null +++ b/dev-java/javacc/files/jjdoc-3.2 @@ -0,0 +1,14 @@ +#! /bin/sh +# +# Copyright (c) Gentoo Technologies, Inc. +# Copyright (c) Karl Trygve Kalleberg <karltk@gentoo.org> +# +# Licensed under the GNU General License, v2 + +. /etc/env.d/java/22javacc +[ -f "${HOME}/.gentoo/env.d/22javacc" ] && . ${HOME}/.gentoo/env.d/22javacc + +java=$(java-config --java) +classpath=$(java-config --classpath=javacc) + +${java} -classpath ${classpath} jjdoc "$@" diff --git a/dev-java/javacc/files/jjtree-3.2 b/dev-java/javacc/files/jjtree-3.2 new file mode 100644 index 000000000000..3385f5c3ebb9 --- /dev/null +++ b/dev-java/javacc/files/jjtree-3.2 @@ -0,0 +1,14 @@ +#! /bin/sh +# +# Copyright (c) Gentoo Technologies, Inc. +# Copyright (c) Karl Trygve Kalleberg <karltk@gentoo.org> +# +# Licensed under the GNU General Public License, v2 + +. /etc/env.d/java/22javacc +[ -f "${HOME}/.gentoo/env.d/22javacc" ] && . ${HOME}/.gentoo/env.d/22javacc + +java=$(java-config --java) +classpath=$(java-config --classpath=javacc) + +${java} -classpath ${classpath} jjtree "$@" |