diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..96ba19ef6e7b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,40 @@ +# Maintainer: William Di Luigi <williamdiluigi@gmail.com> + +pkgname=isolate +pkgver=r58.e8894c4 +pkgrel=1 +pkgdesc="Sandbox for securely executing untrusted programs" +arch=('any') +url="https://github.com/ioi/isolate" +license=('GPL2') +depends=( + 'libcgroup' +) +makedepends=( + 'git' + 'gcc' + 'asciidoc' +) +provides=('isolate') + +source=( + 'git://github.com/ioi/isolate.git' +) +sha256sums=( + 'SKIP' +) + +pkgver() { + cd $pkgname + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +build() { + cd $pkgname + make +} + +package() { + mkdir -p $pkgdir/usr/bin + cp $pkgname/isolate $pkgdir/usr/bin/isolate +} |