1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-13 03:03:15 +00:00
freebsd-ports/databases/virtuoso/pkg-install
Max Khon 92f7662c0e Virtuoso is an innovative Virtualization platform that transparently
integrates Data, Services, and Business Processes across the enterprise.
Its unique product architecture enables it to delivery traditionally
distinct server functionality, within a single product offering,
along the following lines:
* Data Management & Integration (SQL, XML and EII)
* Application Integration (Web Services & SOA)
* Process Management & Integration (BPEL)
* Collaboration and Network Effects

WWW: http://virtuoso.openlinksw.com/

- Hosting modules (python and ruby) will be added as slave ports later.
- Mono hosting is broken on FreeBSD
- Perl hosting is broken on FreeBSD
(perl* ports are built without -Dusemultiplicity)
- PHP4/5 hosting is broken on FreeBSD (php* ports do not install libphp).
- JDBC driver will be added as a slave port later.
2006-12-09 13:05:29 +00:00

72 lines
1.6 KiB
Bash

#!/bin/sh
#
# $FreeBSD$
#
PKG_PREFIX=${PKG_PREFIX:=/usr/local}
BATCH=${BATCH:=no}
ask() {
local question default answer
question=$1
default=$2
if [ -z "${PACKAGE_BUILDING}" -a x${BATCH} = xno ]; then
read -p "${question} [${default}]? " answer
fi
if [ x${answer} = x ]; then
answer=${default}
fi
echo ${answer}
}
yesno() {
local question default answer
question=$1
default=$2
while :; do
answer=$(ask "${question}" "${default}")
case "${answer}" in
[Yy]*) return 0;;
[Nn]*) return 1;;
esac
echo "Please answer yes or no."
done
}
if [ x"$2" = xPRE-INSTALL ]; then
USER=virtuoso
GROUP=virtuoso
UID=79
GID=79
if /usr/sbin/pw groupshow "${GROUP}" 2>/dev/null; then
echo "You already have a group \"${GROUP}\", so I will use it."
else
if /usr/sbin/pw groupadd ${GROUP} -g ${GID}
then
echo "Added group \"${GROUP}\"."
else
echo "Adding group \"${GROUP}\" failed..."
echo "Please create it, and try again."
exit 1
fi
fi
if /usr/sbin/pw user show "${USER}" 2>/dev/null; then
echo "You already have a user \"${USER}\", so I will use it."
else
if /usr/sbin/pw useradd ${USER} -u ${UID} -g ${GROUP} -h - \
-d ${PKG_PREFIX}/virtuoso \
-c "Virtuoso Universal Server"
then
echo "Added user \"${USER}\"."
else
echo "Adding user \"${USER}\" failed..."
echo "Please create it, and try again."
exit 1
fi
fi
fi