diff options
| author | William Di Luigi | 2015-08-31 20:54:38 +0200 |
|---|---|---|
| committer | William Di Luigi | 2015-08-31 20:56:39 +0200 |
| commit | 24cb838488b636e35861954b1e4d62cbea8e94cb (patch) | |
| tree | 4042de94897841bb0f67b55d6abfd61f3e1789d6 | |
| download | aur-24cb838488b636e35861954b1e4d62cbea8e94cb.tar.gz | |
First commit
| -rw-r--r-- | .SRCINFO | 19 | ||||
| -rw-r--r-- | PKGBUILD | 40 |
2 files changed, 59 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a48fc9ae3016 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +# Generated by makepkg 4.2.1 +# Mon Aug 31 18:55:42 UTC 2015 +pkgbase = isolate + pkgdesc = Sandbox for securely executing untrusted programs + pkgver = r58.e8894c4 + pkgrel = 1 + url = https://github.com/ioi/isolate + arch = any + license = GPL2 + makedepends = git + makedepends = gcc + makedepends = asciidoc + depends = libcgroup + provides = isolate + source = git://github.com/ioi/isolate.git + sha256sums = SKIP + +pkgname = isolate + 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 +} |