Running EiffelStudio in Workbench mode: Difference between revisions

From EiffelStudio: an EiffelSoftware project
Jump to navigation Jump to search
Manus (talk | contribs)
Added way to build a delivery
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[Category:EiffelStudio]]
[[Category:EiffelStudio]]
[[Category:Compiler]]
[[Category:Compiler]]
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 '''_workbench'''  suffix (back to 6.* version, it was _wkbench)


Below we assume that you have installed the official release of EiffelStudio in the following directory '''/apps/EiffelXX''':
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_workbench instead of EiffelXX.


The following commands will only work if executed under bash.
Now that you have done that, simply copy your workbench binaries into EiffelXX_workbench/studio/spec/$ISE_PLATFORM/bin. It is also possible to directly link 'ec' and 'ec.melted' from the workbench binaries (located in $EIFFEL_SRC/Eiffel/Ace/EIFGENs/bench/W_code/).


<pre>
Create the precompiles for EiffelXX_workbench using ec from EiffelXX_workbench.
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
Make sure that $EIFFEL_SRC is set.
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
Note: $EIFFEL_SRC/scripts/update_ise_eiffel_wkbench.eant  can help you building an up to date ${ISE_EIFFEL}_workbench
</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>

Latest revision as of 13:39, 23 September 2013

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 _workbench suffix (back to 6.* version, it was _wkbench)

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_workbench instead of EiffelXX.

Now that you have done that, simply copy your workbench binaries into EiffelXX_workbench/studio/spec/$ISE_PLATFORM/bin. It is also possible to directly link 'ec' and 'ec.melted' from the workbench binaries (located in $EIFFEL_SRC/Eiffel/Ace/EIFGENs/bench/W_code/).

Create the precompiles for EiffelXX_workbench using ec from EiffelXX_workbench.

Make sure that $EIFFEL_SRC is set.

Note: $EIFFEL_SRC/scripts/update_ise_eiffel_wkbench.eant can help you building an up to date ${ISE_EIFFEL}_workbench