diff options
author | Konstantinos | 2017-08-11 12:10:17 +0300 |
---|---|---|
committer | Konstantinos | 2017-08-11 12:10:17 +0300 |
commit | 2f839b8c1f19afc5c12e679bf78d5f689374d93c (patch) | |
tree | 2b0bac7e2850a847313191eb6a12bdb298c9b987 | |
download | aur-2f839b8c1f19afc5c12e679bf78d5f689374d93c.tar.gz |
useful commit message
-rw-r--r-- | .SRCINFO | 24 | ||||
-rw-r--r-- | PKGBUILD | 65 | ||||
-rw-r--r-- | inferno.install | 19 | ||||
-rw-r--r-- | make-install-root.sh | 34 |
4 files changed, 142 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..351df9853825 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,24 @@ +pkgbase = inferno-hg + pkgdesc = A compact operating system designed for building distributed and networked systems. (Mercurial) + pkgver = 832+.62ae0f75aa71+ + pkgrel = 1 + url = https://bitbucket.org/inferno-os/inferno-os + install = inferno.install + arch = any + license = GPL2 + makedepends = gcc + makedepends = glibc + makedepends = mercurial + depends = gcc-libs + depends = libx11 + depends = libext + provides = inferno + conflicts = inferno + options = !strip + source = inferno::hg+https://bitbucket.org/inferno-os/inferno-os + source = make-install-root.sh + sha1sums = SKIP + sha1sums = SKIP + +pkgname = inferno-hg + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..5b0c0f06d869 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,65 @@ +# Maintainer: Konstantinos Foutzopoulos <mail@konfou.xyz> + +_pkgname=inferno +pkgname=${_pkgname}-hg +pkgver=832+.62ae0f75aa71+ +pkgrel=1 +pkgdesc='A compact operating system designed for building distributed and networked systems. (Mercurial)' +arch=('any') +url='https://bitbucket.org/inferno-os/inferno-os' +license=('GPL2') +depends=('gcc-libs' 'libx11' 'libext') +depends_x86_64=('lib32-gcc-libs' 'lib32-libx11' 'lib32-libxext') +makedepends=('gcc' 'glibc' 'mercurial') +makedepends_x86_64=('gcc-multilib' 'lib32-glibc' 'mercurial') +provides=("${_pkgname}") +conflicts=("${_pkgname}") +options=('!strip') +source=("${_pkgname}::hg+https://bitbucket.org/${_pkgname}-os/${_pkgname}-os" + 'make-install-root.sh') +sha1sums=('SKIP' + 'SKIP') +install=${_pkgname}.install + +pkgver() { + cd "${_pkgname}" + echo $(hg identify -n).$(hg identify -i) | cut -d ' ' -f 2- | tr -d ' ' +} + +prepare() { + cd "${_pkgname}" + sed -i 's~/usr/inferno~$IROOT~' mkconfig + sed -i 's/SYSHOST=Plan9/SYSHOST=$SYSHOST/' mkconfig + sed -i 's/$objtype/$OBJTYPE/' mkconfig +} + +build() { + cd "${_pkgname}" + export IROOT=$PWD + export SYSHOST=Linux + export OBJTYPE=386 + ./makemk.sh + export PATH="$IROOT/$SYSHOST/$OBJTYPE/bin:$PATH" + sed -i "s/'-fno-aggressive-loop-optimizations'//" "mkfiles/mkfile-$SYSHOST-$OBJTYPE" + mk nuke + mk install + cat > inferno << 'END' +#!/usr/bin/env bash +ROOT="/usr/local/inferno" +IBIN="$ROOT/Linux/386/bin" +export PATH="$IBIN:$PATH" +export EMU="-r$ROOT" +exec emu "$@" +END +} + +package() { + export IROOT="usr/local/inferno" + ./make-install-root.sh "${_pkgname}" "${pkgdir}/$IROOT" + find "${pkgdir}/$IROOT" -path "${pkgdir}/$IROOT/Linux" -prune -o -exec chmod g+w {} + + mkdir -p "${pkgdir}/$IROOT/Linux" + cp -r "${_pkgname}/Linux/386" "${pkgdir}/$IROOT/Linux/" + mkdir -p "${pkgdir}/usr/bin" + install -D -m755 "${_pkgname}/inferno" "${pkgdir}/usr/bin/inferno" + install -D -m644 "${_pkgname}/NOTICE" "${pkgdir}/usr/share/licenses/${_pkgname}/NOTICE" +}
\ No newline at end of file diff --git a/inferno.install b/inferno.install new file mode 100644 index 000000000000..502c018b9e5a --- /dev/null +++ b/inferno.install @@ -0,0 +1,19 @@ +post_install() { + groupadd inferno + IROOT=/usr/local/inferno + find $IROOT -path $IROOT/Linux -prune -o -exec chgrp inferno {} + + cat << 'END' + Permissions for a user to modify the files are needed. + This can be done adding a user to the group inferno with: + # usermod -a -G inferno $USER + For how to procceed you can read the doc/install.ms manual. + On the host system this can be done as: + # nroff -ms /usr/local/inferno/doc/install.ms | less + After invoking inferno (an emu wrapper) this can be dones as: + ; man -f /doc/install.ms | p +END +} + +post_remove() { + groupdel inferno +}
\ No newline at end of file diff --git a/make-install-root.sh b/make-install-root.sh new file mode 100644 index 000000000000..dd856c9dbe43 --- /dev/null +++ b/make-install-root.sh @@ -0,0 +1,34 @@ +#!/usr/bin/bash + +mkdir -p $2 +mkdir -p $2/mail +mkdir -p $2/n/cd +mkdir -p $2/n/client/chan +mkdir -p $2/n/client/dev +mkdir -p $2/n/disk +mkdir -p $2/n/dist +mkdir -p $2/n/dos +mkdir -p $2/n/dump +mkdir -p $2/n/ftp +mkdir -p $2/n/gridfs +mkdir -p $2/n/kfs +mkdir -p $2/n/local +mkdir -p $2/n/rdbg +mkdir -p $2/n/registry +mkdir -p $2/n/remote +mkdir -p $2/tmp +mkdir -p $2/usr + +cp -r $1/acme $2/ +cp -r $1/appl $2/ +cp -r $1/dis $2/ +cp -r $1/doc $2/ +cp -r $1/fonts $2/ +cp -r $1/icons $2/ +cp -r $1/keydb $2/ +cp -r $1/lib $2/ +cp -r $1/locale $2/ +cp -r $1/man $2/ +cp -r $1/module $2/ +cp -r $1/services $2/ +cp -r $1/usr $2/ |