diff options
author | davidovski <david@davidovski.xyz> | 2023-05-17 17:02:25 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2023-05-17 17:03:10 +0000 |
commit | a5ee6fa1836ed3986be333d6c9b4eed8d639636b (patch) | |
tree | ea481e4c98374c67be4188e99c297c36402ad346 /repo/gradle | |
parent | 0d37a1ef234c38b27faba43bc3a22f985d311deb (diff) |
Add schroot
Diffstat (limited to 'repo/gradle')
-rw-r--r-- | repo/gradle/gradle.xibuild | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/repo/gradle/gradle.xibuild b/repo/gradle/gradle.xibuild new file mode 100644 index 0000000..82a055d --- /dev/null +++ b/repo/gradle/gradle.xibuild @@ -0,0 +1,32 @@ +#!/bin/sh + +NAME="gradle" +DESC="Build tool with a focus on build automation and support for multi-language development" + +MAKEDEPS="make adoptopenjdk11 " + +PKG_VER=8.0.2 +SOURCE="https://services.gradle.org/distributions/gradle-$PKG_VER-bin.zip" + +package () { + local gradlehome="/usr/share/java/gradle" + local destdir="$PKG_DEST/$gradlehome" + + install -dm755 "$destdir"/bin + rm bin/*.bat + install -m755 bin/* "$destdir"/bin + + install -dm755 "$PKG_DEST"/usr/bin + ln -sf $gradlehome/bin/gradle "$PKG_DEST"/usr/bin/gradle + + install -dm755 "$destdir"/lib + install -m644 lib/*.jar "$destdir"/lib + + install -dm755 "$destdir"/lib/plugins + install -m644 lib/plugins/*.jar "$destdir"/lib/plugins + + # NOTICE file should be redistributed for derivative works + local file; for file in LICENSE NOTICE; do + install -m644 -D $file "$PKG_DEST"/usr/share/licenses/gradle/$file + done +} |