Browse files

Merge branch 'master' of github.com:pcbsd/pcbsd

  • Loading branch information...
2 parents b28c8d9 + f24f00e commit 9c27073ba53aebffceb0976da47e43df39397b59 @beanpole135 beanpole135 committed Nov 6, 2013
Showing with 15 additions and 0 deletions.
  1. +15 −0 src-sh/pbi-manager10/pbi-manager
View
15 src-sh/pbi-manager10/pbi-manager
@@ -4786,6 +4786,18 @@ pbid_init() {
do_pbid
}
+# This is a crude hack, but we need to copy libGL* to a location outside
+# of /usr/local for PBIs to be able to access them
+check_populate_opengl()
+{
+ local lG
+ for i in `ls /usr/local/lib/libGl.* /usr/local/lib/libGL.* /usr/local/lib/libGLU.* 2>/dev/null`
+ do
+ lG=`basename $i`
+ cp ${i} /usr/lib/${lG}
+ done
+}
+
# Start the PBID daemon
do_pbid() {
@@ -4805,6 +4817,9 @@ do_pbid() {
if [ "${PBI_VERBOSE}" != "YES" ] ; then _redir="/dev/null" ; fi
echo "Started pbid: `date`" > ${_pbid_log}
+ # Check for opengl libs to link
+ check_populate_opengl
+
while
i=1
do

0 comments on commit 9c27073

Please sign in to comment.