diff options
author | sheldonh <sheldonh@FreeBSD.org> | 2000-08-15 18:22:36 +0800 |
---|---|---|
committer | sheldonh <sheldonh@FreeBSD.org> | 2000-08-15 18:22:36 +0800 |
commit | 9fbc9e359af19834125374d2442d3c31a91a5300 (patch) | |
tree | d28e5432981eb7be66d2f6c188b16bbd246c12dc /devel | |
parent | d0818ca799b0c5faf2ed63b4544f1cf526fd1eb4 (diff) | |
download | freebsd-ports-gnome-9fbc9e359af19834125374d2442d3c31a91a5300.tar.gz freebsd-ports-gnome-9fbc9e359af19834125374d2442d3c31a91a5300.tar.zst freebsd-ports-gnome-9fbc9e359af19834125374d2442d3c31a91a5300.zip |
Do not rely on the linux(8) shell script. Instead, use an INSTALL
script so that the behaviour of a package installation matches
that of a port installation identically.
Note that, in the package case, we already have a valid run-time
linker hints file for Linux.
Diffstat (limited to 'devel')
-rw-r--r-- | devel/linux_devtools-6/Makefile | 13 | ||||
-rw-r--r-- | devel/linux_devtools-6/pkg-install | 17 | ||||
-rw-r--r-- | devel/linux_devtools-7/Makefile | 13 | ||||
-rw-r--r-- | devel/linux_devtools-7/pkg-install | 17 | ||||
-rw-r--r-- | devel/linux_devtools/Makefile | 13 | ||||
-rw-r--r-- | devel/linux_devtools/pkg-install | 17 |
6 files changed, 60 insertions, 30 deletions
diff --git a/devel/linux_devtools-6/Makefile b/devel/linux_devtools-6/Makefile index 05d0506c512e..ec843b794b92 100644 --- a/devel/linux_devtools-6/Makefile +++ b/devel/linux_devtools-6/Makefile @@ -91,17 +91,10 @@ NEEDLOADLINK= true do-patch: @${DO_NADA} +pre-install: + @${SH} ${PKGINSTALL} ${PKGNAME} PRE-INSTALL + do-install: - @if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then \ - ${ECHO} 'Linux mode is not enabled.\ - Loading linux kernel module...' | fmt; \ - linux || { \ - ${ECHO} 'The linux kernel module could not be loaded.\ - Please manually load the module and retry.\ - See "man linux" for details.' | fmt; \ - ${FALSE}; \ - };\ - fi # # Setup a chroot'able environment # diff --git a/devel/linux_devtools-6/pkg-install b/devel/linux_devtools-6/pkg-install new file mode 100644 index 000000000000..957ee313fa57 --- /dev/null +++ b/devel/linux_devtools-6/pkg-install @@ -0,0 +1,17 @@ +#!/bin/sh +# an installation script for linux_devtools + +case "$2" in +PRE-INSTALL) + if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then + echo 'Linux mode is not enabled.' + echo 'Loading linux kernel module now...' + if ! kldload linux; then + echo 'The linux kernel module could not be loaded.' + echo 'Please enable linux mode manually and retry.' + exit 1 + fi + ;; +esac + +exit 0 diff --git a/devel/linux_devtools-7/Makefile b/devel/linux_devtools-7/Makefile index 05d0506c512e..ec843b794b92 100644 --- a/devel/linux_devtools-7/Makefile +++ b/devel/linux_devtools-7/Makefile @@ -91,17 +91,10 @@ NEEDLOADLINK= true do-patch: @${DO_NADA} +pre-install: + @${SH} ${PKGINSTALL} ${PKGNAME} PRE-INSTALL + do-install: - @if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then \ - ${ECHO} 'Linux mode is not enabled.\ - Loading linux kernel module...' | fmt; \ - linux || { \ - ${ECHO} 'The linux kernel module could not be loaded.\ - Please manually load the module and retry.\ - See "man linux" for details.' | fmt; \ - ${FALSE}; \ - };\ - fi # # Setup a chroot'able environment # diff --git a/devel/linux_devtools-7/pkg-install b/devel/linux_devtools-7/pkg-install new file mode 100644 index 000000000000..957ee313fa57 --- /dev/null +++ b/devel/linux_devtools-7/pkg-install @@ -0,0 +1,17 @@ +#!/bin/sh +# an installation script for linux_devtools + +case "$2" in +PRE-INSTALL) + if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then + echo 'Linux mode is not enabled.' + echo 'Loading linux kernel module now...' + if ! kldload linux; then + echo 'The linux kernel module could not be loaded.' + echo 'Please enable linux mode manually and retry.' + exit 1 + fi + ;; +esac + +exit 0 diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile index 05d0506c512e..ec843b794b92 100644 --- a/devel/linux_devtools/Makefile +++ b/devel/linux_devtools/Makefile @@ -91,17 +91,10 @@ NEEDLOADLINK= true do-patch: @${DO_NADA} +pre-install: + @${SH} ${PKGINSTALL} ${PKGNAME} PRE-INSTALL + do-install: - @if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then \ - ${ECHO} 'Linux mode is not enabled.\ - Loading linux kernel module...' | fmt; \ - linux || { \ - ${ECHO} 'The linux kernel module could not be loaded.\ - Please manually load the module and retry.\ - See "man linux" for details.' | fmt; \ - ${FALSE}; \ - };\ - fi # # Setup a chroot'able environment # diff --git a/devel/linux_devtools/pkg-install b/devel/linux_devtools/pkg-install new file mode 100644 index 000000000000..957ee313fa57 --- /dev/null +++ b/devel/linux_devtools/pkg-install @@ -0,0 +1,17 @@ +#!/bin/sh +# an installation script for linux_devtools + +case "$2" in +PRE-INSTALL) + if [ -z "`kldstat -v | ${GREP} -E 'linux(aout|elf)'`" ]; then + echo 'Linux mode is not enabled.' + echo 'Loading linux kernel module now...' + if ! kldload linux; then + echo 'The linux kernel module could not be loaded.' + echo 'Please enable linux mode manually and retry.' + exit 1 + fi + ;; +esac + +exit 0 |