Changeset 2173 for trunk/gsdl/packages/configure
- Timestamp:
- 2001-03-14T04:15:23+13:00 (23 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl/packages/configure
r2169 r2173 33 33 USE_CORBA=true 34 34 ;; 35 --with-micodir=*) 36 if test $1 = ""; then 37 $1 = "default" 38 fi 39 MICO_DIR=$1 40 ;; 35 41 --bindir=*) 36 42 bindir=`echo $1 | sed s/--bindir=//` … … 60 66 61 67 62 echo "" 63 echo "Configuring MICO CORBA" 64 if test x$USE_CORBA = xtrue ; then 65 # configure the MICO CORBA ORB 66 echo "" 68 if test -n "$USE_CORBA"; then 69 if test $MICO_DIR = default; then 70 # configure the MICO CORBA ORB 71 echo "" 72 echo "Configuring MICO CORBA" 73 echo "" 67 74 68 cd "$PACKAGES/mico" 69 gzip -dc mico-2.3.5.tar.gz | tar -xf - 70 cd mico 71 ./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 72 sed 's/tools//' $PACKAGES/mico/mico/Makefile | sed 's/ldconfig//' >$PACKAGES/mico/mico/Makefile.out 73 mv $PACKAGES/mico/mico/Makefile.out $PACKAGES/mico/mico/Makefile 75 cd "$PACKAGES/mico" 76 gzip -dc mico-2.3.5.tar.gz | tar -xf - 77 cd mico 78 ./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 79 sed 's/tools//' $PACKAGES/mico/mico/Makefile | sed 's/ldconfig//' >$PACKAGES/mico/mico/Makefile.out 80 mv $PACKAGES/mico/mico/Makefile.out $PACKAGES/mico/mico/Makefile 81 else 82 #MICO is on the system path 83 echo "" 84 echo "Taking MICO from system paths" 85 echo "" 86 fi 74 87 else 75 88 echo "corba support disabled - mico compiler not required."
Note:
See TracChangeset
for help on using the changeset viewer.