diff options
Diffstat (limited to 'lang/bigloo/files')
-rw-r--r-- | lang/bigloo/files/bigloo.sh | 15 | ||||
-rw-r--r-- | lang/bigloo/files/patch-aa | 11 | ||||
-rw-r--r-- | lang/bigloo/files/patch-ab | 11 | ||||
-rw-r--r-- | lang/bigloo/files/patch-ac | 22 |
4 files changed, 59 insertions, 0 deletions
diff --git a/lang/bigloo/files/bigloo.sh b/lang/bigloo/files/bigloo.sh new file mode 100644 index 000000000000..0d27a0a84d56 --- /dev/null +++ b/lang/bigloo/files/bigloo.sh @@ -0,0 +1,15 @@ +#!/bin/sh + +case "$1" in + start) + /sbin/ldconfig -m %%PREFIX%%/lib/bigloo/%%BIGLOO_VERSION%% + ;; + stop) + ;; + *) + echo "" + echo "Usage: `basename $0` { start | stop }" + echo "" + exit 64 + ;; +esac diff --git a/lang/bigloo/files/patch-aa b/lang/bigloo/files/patch-aa new file mode 100644 index 000000000000..ce425a69c1e1 --- /dev/null +++ b/lang/bigloo/files/patch-aa @@ -0,0 +1,11 @@ +--- autoconf/pthread.orig Mon Jul 15 21:08:08 2002 ++++ autoconf/pthread Mon Jul 15 21:08:16 2002 +@@ -14,7 +14,7 @@ + #*---------------------------------------------------------------------*/ + cc=gcc + cflags= +-pthreadlibs="-lpthread" ++pthreadlibs="-pthread" + tmp=/tmp + user=bigloo + diff --git a/lang/bigloo/files/patch-ab b/lang/bigloo/files/patch-ab new file mode 100644 index 000000000000..f896d70e345a --- /dev/null +++ b/lang/bigloo/files/patch-ab @@ -0,0 +1,11 @@ +--- autoconf/thread.orig Mon Jul 15 21:08:21 2002 ++++ autoconf/thread Mon Jul 15 21:08:45 2002 +@@ -56,6 +56,8 @@ + echo "-DGC_SOLARIS_PTHREADS -D_REENTRANT";; + HP-UX*) + echo "GC_HPUX_THREADS";; ++ FreeBSD*) ++ echo "-D_THREAD_SAFE -D_REENTRANT";; + *) + echo "";; + esac diff --git a/lang/bigloo/files/patch-ac b/lang/bigloo/files/patch-ac new file mode 100644 index 000000000000..aedb966bb9f7 --- /dev/null +++ b/lang/bigloo/files/patch-ac @@ -0,0 +1,22 @@ +--- manuals/Makefile.orig Mon Jul 15 23:25:17 2002 ++++ manuals/Makefile Mon Jul 15 23:44:05 2002 +@@ -296,19 +296,6 @@ + echo "chmod $(BMASK) $(INFODIR)/bigloo.info*"; \ + fi \ + fi; \ +- if [ "$(INSTALLINFO) " = " " ]; then \ +- if [ ! -f $(INFODIR)/dir ]; then \ +- echo "$(INFODIR)/dir file does not exist, can't install Bigloo info files"; \ +- else \ +- if [ "`grep "bigloo.info" $(INFODIR)/dir` " = " " ]; then \ +- echo "* bigloo: (bigloo.info). The Bigloo documentation." >> \ +- $(INFODIR)/dir; \ +- fi; \ +- fi; \ +- else \ +- $(INSTALLINFO) bigloo.info $(INFODIR)/dir; \ +- echo "$(INSTALLINFO) bigloo.info $(INFODIR)/dir"; \ +- fi \ + fi \ + fi + |