From 4e28d4de05080ad0b7b8856a3d4b645e47378d55 Mon Sep 17 00:00:00 2001
From: Sheldon Hearn <sheldonh@FreeBSD.org>
Date: Tue, 15 Aug 2000 10:22:36 +0000
Subject: 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.
---
 devel/linux_devtools/Makefile    | 13 +++----------
 devel/linux_devtools/pkg-install | 17 +++++++++++++++++
 2 files changed, 20 insertions(+), 10 deletions(-)
 create mode 100644 devel/linux_devtools/pkg-install

(limited to 'devel/linux_devtools')

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
-- 
cgit v1.2.3