Difference between revisions of "Running EiffelStudio in Workbench mode"

(Added way to build a delivery)
Line 3: Line 3:
 
Starting from revision 6.0 of EiffelStudio, we made it easier to run side by side an official version of EiffelStudio and its workbench version. To make sure this functionality is enabled you need to create a separate delivery of EiffelStudio located at the same place as the official version with the '''_wkbench'''  suffix.
 
Starting from revision 6.0 of EiffelStudio, we made it easier to run side by side an official version of EiffelStudio and its workbench version. To make sure this functionality is enabled you need to create a separate delivery of EiffelStudio located at the same place as the official version with the '''_wkbench'''  suffix.
  
Below we assume that you have installed the official release of EiffelStudio in the following directory '''/apps/EiffelXX''':
+
Below we assume that you have installed the official release of EiffelStudio in the following directory '''/apps/EiffelXX'''. Therefore in the '''/apps''' directory follow the [[Building_a_delivery|instruction on how to build a delivery]], but use the name EiffelXX_wkbench instead of EiffelXX.
 
+
The following commands will only work if executed under bash.
+
 
+
<pre>
+
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es/trunk
+
export NEW_ISE_EIFFEL=/apps/EiffelXX_wkbench
+
cd /apps
+
svn co $SVNURL/Delivery EiffelXX_wkbench
+
 
+
cd $NEW_ISE_EIFFEL/studio/spec
+
mkdir $ISE_PLATFORM
+
mkdir $ISE_PLATFORM/bin
+
mkdir $ISE_PLATFORM/include
+
mkdir $ISE_PLATFORM/lib
+
 
+
cp $EIFFEL_SRC/C/run-time/*.h $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include
+
</pre>
+
 
+
On Unix, you need to do the following:
+
<pre>
+
cp $EIFFEL_SRC/C/config.sh $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include
+
cp $EIFFEL_SRC/C/run-time/lib* $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/lib
+
cp $EIFFEL_SRC/C/run-time/x2c $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
+
cp ipc/daemon/ecdbgd $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
+
 
+
cd $NEW_ISE_EIFFEL/studio/config
+
cp -r unix $ISE_PLATFORM
+
cd $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
+
ln -s $NEW_ISE_EIFFEL/studio/spec/unix/finish_freezing .
+
ln -s $NEW_ISE_EIFFEL/studio/spec/unix/prelink .
+
</pre>
+
 
+
On Windows, you need to do the following:
+
<pre>
+
mkdir $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/lib/$ISE_C_COMPILER
+
cp $EIFFEL_SRC/C/config.sh $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include
+
cp $EIFFEL_SRC/C/run-time/lib* $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/lib/$ISE_C_COMPILER
+
cp $EIFFEL_SRC/C/run-time/x2c.exe $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
+
cp ipc/daemon/ecdbgd.exe $NEW_ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
+
 
+
cd $NEW_ISE_EIFFEL/studio/config
+
cp -r windows $ISE_PLATFORM
+
</pre>
+

Revision as of 16:27, 1 November 2006

Starting from revision 6.0 of EiffelStudio, we made it easier to run side by side an official version of EiffelStudio and its workbench version. To make sure this functionality is enabled you need to create a separate delivery of EiffelStudio located at the same place as the official version with the _wkbench suffix.

Below we assume that you have installed the official release of EiffelStudio in the following directory /apps/EiffelXX. Therefore in the /apps directory follow the instruction on how to build a delivery, but use the name EiffelXX_wkbench instead of EiffelXX.