diff options
Diffstat (limited to 'pkgs/development/tools/parsing/jikespg/builder.sh')
-rw-r--r-- | pkgs/development/tools/parsing/jikespg/builder.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/pkgs/development/tools/parsing/jikespg/builder.sh b/pkgs/development/tools/parsing/jikespg/builder.sh deleted file mode 100644 index e63ec9808f2..00000000000 --- a/pkgs/development/tools/parsing/jikespg/builder.sh +++ /dev/null @@ -1,15 +0,0 @@ -source $stdenv/setup - -set -e - -configurePhase() { - tar zxvf $src - cd jikespg/src -} - -installPhase() { - mkdir -p $out/bin - cp jikespg $out/bin -} - -genericBuild |