/[eiffelstudio]/trunk/Delivery/studio/spec/unix/finish_freezing
ViewVC logotype

Diff of /trunk/Delivery/studio/spec/unix/finish_freezing

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 73199 by king, Thu Nov 15 00:46:57 2007 UTC revision 73200 by fivaa, Fri Apr 25 17:23:47 2008 UTC
# Line 47  fi Line 47  fi
47  # default values for unix layout, so that no environment variables need to be set  # default values for unix layout, so that no environment variables need to be set
48  if [ -z "$ISE_EIFFEL" ]; then  if [ -z "$ISE_EIFFEL" ]; then
49          if [ -z "$ISE_PREFIX" ]; then          if [ -z "$ISE_PREFIX" ]; then
50                  ISE_PREFIX=/usr/local #UNIX_BASE_PATH comment for replacement                  ISE_PREFIX=/usr #UNIX_BASE_PATH comment for replacement
51                  export ISE_PREFIX                  export ISE_PREFIX
52          fi          fi
53          if [ -z "$ISE_VERSION" ]; then          if [ -z "$ISE_VERSION" ]; then
54                  ISE_VERSION=6.0                  ISE_VERSION=6.2
55                  export ISE_VERSION                  export ISE_VERSION
56          fi          fi
57          if [ -z "$ISE_PLATFORM" ]; then          if [ -z "$ISE_PLATFORM" ]; then
# Line 69  if [ -z "$ISE_LIBRARY" ]; then Line 69  if [ -z "$ISE_LIBRARY" ]; then
69          if [ -n "$ISE_EIFFEL" ]; then          if [ -n "$ISE_EIFFEL" ]; then
70                  ISE_LIBRARY=$ISE_EIFFEL                  ISE_LIBRARY=$ISE_EIFFEL
71          else          else
72                  ISE_LIBRARY=$ISE_PREFIX/lib/eiffel$ISE_VERSION                  ISE_LIBRARY=$ISE_PREFIX/lib/eiffelstudio-$ISE_VERSION/
73          fi          fi
74          export ISE_LIBRARY          export ISE_LIBRARY
75  fi  fi
# Line 110  if [ "$arg" != "-library" ]; then Line 110  if [ "$arg" != "-library" ]; then
110          if [ -n "$ISE_EIFFEL" ]; then          if [ -n "$ISE_EIFFEL" ]; then
111                  $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/quick_finalize . o                  $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/quick_finalize . o
112          else          else
113                  $ISE_PREFIX/lib/eiffel$ISE_VERSION/ec/quick_finalize . o                  $ISE_PREFIX/$ISE_LIB_NAME/eiffelstudio-$ISE_VERSION/studio/quick_finalize . o
114          fi          fi
115  else  else
116          echo "Generating C libraries ..."          echo "Generating C libraries ..."
# Line 120  if [ ! -f config.sh ]; then Line 120  if [ ! -f config.sh ]; then
120          if [ -n "$ISE_EIFFEL" ]; then          if [ -n "$ISE_EIFFEL" ]; then
121                  cp $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include/config.sh .                  cp $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include/config.sh .
122          else          else
123                  cp $ISE_PREFIX/include/eiffel$ISE_VERSION/config.sh .                  cp $ISE_PREFIX/include/eiffelstudio-$ISE_VERSION/config.sh .
124          fi          fi
125  fi  fi
126  sh Makefile.SH  sh Makefile.SH

Legend:
Removed from v.73199  
changed lines
  Added in v.73200

  ViewVC Help
Powered by ViewVC 1.1.23