Changeset 25189 for main/trunk/greenstone2/runtime-src/packages/configure

Timestamp:

2012-03-06T16:29:51+13:00 (12 years ago)

Author:

ak19

Message:

Added new version of mico. The older version 2.3.5 does not work on the 64 bit linux. The latest official binary was 2.3.13 which required a modification to orb/fast_array.cc where it needs to hash include limits.h (include file in diamond brackets). Then the runtime-src's configure.in (and configure) files need to be updated to set the Mico minimum version to 2.3.13. Finally, the make install was not succeeding in Mico. Dr Bainbridge modified runtime-src/packages/configure to both get rid of some config flags that may not be necessary and because a sed replacement operation now needed to be case insensitive.

File:

• main/trunk/greenstone2/runtime-src/packages/configure (modified) (2 diffs)

main/trunk/greenstone2/runtime-src/packages/configure

@@ -1 @@
-#! /bin/sh
+s#! /bin/sh
 
 PACKAGES=`pwd`
@@ -140 +140 @@
 
     cd "$PACKAGES/mico"
-    gzip -dc mico-2.3.5.tar.gz | tar -xf -
+    gzip -dc mico-2.3.13.tar.gz | tar -xf -
     cd mico && \
-    ./configure $CACHE_FILE    --prefix=$PACKAGES/mico/  --disable-coss --disable-naming --disable-relship --disable-events --disable-streams --disable-property --disable-trader --disable-time --disable-debug --enable-optimize --enable-final --enable-speed-tune
-    sed 's/tools//'  $PACKAGES/mico/mico/Makefile | sed 's/ldconfig//' >$PACKAGES/mico/mico/Makefile.out
+    ./configure $CACHE_FILE    --prefix=$PACKAGES/mico/  --disable-coss --disable-naming --disable-relship --disable-events --disable-streams --disable-property --disable-trader --disable-time 
+#--disable-debug 
+#--enable-optimize --enable-final --enable-speed-tune
+#    sed 's/tools//'  $PACKAGES/mico/mico/Makefile | sed 's/ldconfig//' >$PACKAGES/mico/mico/Makefile.out 
+
+# Remove any references to running 'tools' and 'ldconfig' as these require
+# admin permissions when running 'make install'.
+# Use fgrep here to knock out the entire line containing $(LDCONFIG), because
+# there may be a special tab preceding the line which in a Makefile can have
+# special meaning. Don't want to leave it in by itself.
+    sed 's/tools//'  $PACKAGES/mico/mico/Makefile | fgrep -iv ldconfig >$PACKAGES/mico/mico/Makefile.out
     mv $PACKAGES/mico/mico/Makefile.out $PACKAGES/mico/mico/Makefile
   else