Running EiffelStudio in Workbench mode - Revision history

Jfiat at 13:39, 23 September 2013

2013-09-23T13:39:17Z

Jfiat at 13:55, 28 November 2007

2007-11-28T13:55:40Z

Jfiat at 10:56, 22 March 2007

2007-03-22T10:56:49Z

Sieberst at 09:21, 22 March 2007

2007-03-22T09:21:33Z

Manus at 00:28, 2 November 2006

2006-11-02T00:28:30Z

Manus at 00:27, 2 November 2006

2006-11-02T00:27:39Z

Manus: Added way to build a delivery

2006-11-02T00:18:29Z

Added way to build a delivery

Manus at 00:07, 2 November 2006

2006-11-02T00:07:58Z

New page

[[Category:EiffelStudio]]
[[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.

Below we assume that you have installed the official release of EiffelStudio in the following directory '''/apps/EiffelXX''' (replace / by \ when you are on Windows):

For Windows:
<pre>cd /apps
svn co https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Delivery EiffelXX_wkbench
mkdir -p
</pre>

For Unix:
<pre>
</pre>

@@ Line 1: / Line 1: @@
 [[Category:EiffelStudio]]
 [[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)
-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.
+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.
-Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/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/).
+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_wkbench using ec from EiffelXX_wkbench.
+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}_wkbench
+Note: $EIFFEL_SRC/scripts/update_ise_eiffel_wkbench.eant  can help you building an up to date ${ISE_EIFFEL}_workbench

← Older revision		Revision as of 13:55, 28 November 2007
Line 10:		Line 10:

	Make sure that $EIFFEL_SRC is set.		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}_wkbench

@@ Line 5: / Line 5: @@
 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.
-Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/studio/spec/$ISE_PLATFORM/bin. It is also possible to directly link 'ec' from the workbench binaries (located in $EIFFEL_SRC/Eiffel/Ace/EIFGENs/bench/W_code/).
+Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/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_wkbench using ec from EiffelXX_wkbench.
 Make sure that $EIFFEL_SRC is set.

← Older revision		Revision as of 09:21, 22 March 2007
Line 5:		Line 5:
	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.		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.

−	Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/studio/spec/$ISE_PLATFORM/bin.	+	Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/studio/spec/$ISE_PLATFORM/bin. It is also possible to directly link 'ec' from the workbench binaries (located in $EIFFEL_SRC/Eiffel/Ace/EIFGENs/bench/W_code/).
		+
		+	Create the precompiles for EiffelXX_wkbench using ec from EiffelXX_wkbench.
		+
		+	Make sure that $EIFFEL_SRC is set.

← Older revision		Revision as of 00:28, 2 November 2006
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'''. 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.	+	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.
		+
		+	Now that you have done that, simply copy your workbench binaries into EiffelXX_wkbench/studio/spec/$ISE_PLATFORM/bin.

@@ 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.
-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>