Building Rodin Headless - Revision history

Laurent: /* Last operations to perform */

2020-09-11T15:50:27Z

Last operations to perform

← Older revision		Revision as of 15:50, 11 September 2020
Line 109:		Line 109:
	*The 64 bits page should be updated:		*The 64 bits page should be updated:
	**http://wiki.event-b.org/index.php/Rodin_64_bit		**http://wiki.event-b.org/index.php/Rodin_64_bit
	*~~A group for~~ the ~~new release is available on~~ Bug and Feature Request trackers.		*In the Bug and Feature Request trackers, complete the milestone for the new release, create a new milestone for the following one, and move any remaining ticket between these two milestones.
	*A mail is sent on the user + announce rodin SF lists.		*A mail is sent on the user + announce rodin SF lists.

	[[Category:Developer documentation]]		[[Category:Developer documentation]]
	[[Category:Rodin Platform]]		[[Category:Rodin Platform]]

Laurent: /* Last operations to perform */

2020-09-11T10:31:39Z

Last operations to perform

← Older revision		Revision as of 10:31, 11 September 2020
Line 98:		Line 98:

	==Last operations to perform==		==Last operations to perform==
	*~~Mirror~~ the build update site into ~~the server, using:~~		*Copy the build update site into a dedicated folder onto SourceForge (e.g., <code>/home/pfs/project/rodin-b-sharp/Core_Update_Site/3.5/</code>)
	~~:org~~.~~rodinp~~.~~releng~~/~~scripts~~/~~mirror~~.sh
	*Ensure that the download of the uploaded version of Rodin is here by default		*Ensure that the download of the uploaded version of Rodin is here by default
	*Update the main wiki page:		*Update the main wiki page:
Line 110:		Line 109:
	*The 64 bits page should be updated:		*The 64 bits page should be updated:
	**http://wiki.event-b.org/index.php/Rodin_64_bit		**http://wiki.event-b.org/index.php/Rodin_64_bit
	* A group for the new release is available on Bug and Feature Request trackers.		*A group for the new release is available on Bug and Feature Request trackers.
	*A mail is sent on the user + announce rodin SF lists.		*A mail is sent on the user + announce rodin SF lists.

	[[Category:Developer documentation]]		[[Category:Developer documentation]]
	[[Category:Rodin Platform]]		[[Category:Rodin Platform]]

imported>Nicolas: /* Pre Build Verifications */ udpate to 4.7

2018-02-20T16:48:00Z

Pre Build Verifications: udpate to 4.7

← Older revision		Revision as of 16:48, 20 February 2018
Line 22:		Line 22:

	<repository>		<repository>
	<id>~~neon~~-4.6</id>		<id>oxygen-4.7</id>
	<layout>p2</layout>		<layout>p2</layout>
	<url>http://download.eclipse.org/eclipse/updates/4.6/</url>		<url>http://download.eclipse.org/eclipse/updates/4.7/</url>
	</repository>		</repository>

imported>Son: /* Pre Build Verifications */

2017-02-11T17:48:51Z

Pre Build Verifications

← Older revision		Revision as of 17:48, 11 February 2017
Line 14:		Line 14:
	* API Tooling build against previous Rodin release produces no errors on any plug-in		* API Tooling build against previous Rodin release produces no errors on any plug-in
	* Rodin build process is managed using Apache maven and Tycho. One should verify that maven artifact versions match the plug-in versions (defined in plug-in MANIFEST.MF files)		* Rodin build process is managed using Apache maven and Tycho. One should verify that maven artifact versions match the plug-in versions (defined in plug-in MANIFEST.MF files)
	* the correct Eclipse version is referenced in the p2 configuration (org.rodinp.platform/p2.inf) and matches the one defined whithin the parent pom file (<tt>org.eventb.parent/pom.xml</tt>) :		* the correct Eclipse version is referenced in the p2 configuration (org.rodinp.platform/Rodin.p2.inf)

			addRepository(type:0,location:http${#58}//download.eclipse.org/releases/neon,name:Neon Update Site);\
			addRepository(type:1,location:http${#58}//download.eclipse.org/releases/neon,name:Neon Update Site);\

			and matches the one defined whithin the parent pom file (<tt>org.eventb.parent/pom.xml</tt>) :

	<repository>		<repository>
	<id>~~luna~~</id>		<id>neon-4.6</id>
	<layout>p2</layout>		<layout>p2</layout>
	<url>http://download.eclipse.org/~~releases~~/~~luna~~</url>		<url>http://download.eclipse.org/eclipse/updates/4.6/</url>
	</repository>		</repository>

imported>Son: /* Requirements */

2017-02-11T17:11:57Z

Requirements

← Older revision		Revision as of 17:11, 11 February 2017
Line 4:		Line 4:

	==Requirements==		==Requirements==
	* Apache Maven 3 should be installed on the platform that will run the build.		* [http://maven.apache.org/ Apache Maven 3] should be installed on the platform that will run the build.

	==Pre Build Verifications==		==Pre Build Verifications==

imported>Nicolas: /* Last operations to perform */

2014-11-28T14:32:00Z

Last operations to perform

← Older revision		Revision as of 14:32, 28 November 2014
Line 93:		Line 93:

	==Last operations to perform==		==Last operations to perform==
			*Mirror the build update site into the server, using:
			:org.rodinp.releng/scripts/mirror.sh
	*Ensure that the download of the uploaded version of Rodin is here by default		*Ensure that the download of the uploaded version of Rodin is here by default
	*Update the main wiki page:		*Update the main wiki page:

imported>Nicolas: /* Pre Build Verifications */

2014-11-28T11:24:54Z

Pre Build Verifications

← Older revision		Revision as of 11:24, 28 November 2014
Line 17:		Line 17:

	<repository>		<repository>
	<id>~~indigo~~</id>		<id>luna</id>
	<layout>p2</layout>		<layout>p2</layout>
	<url>http://download.eclipse.org/releases/~~indigo~~</url>		<url>http://download.eclipse.org/releases/luna</url>
	</repository>		</repository>

imported>Tommy: /* Fetching Sources */

2014-01-03T10:36:25Z

Fetching Sources

← Older revision		Revision as of 10:36, 3 January 2014
Line 56:		Line 56:

	Fetch sources from Git in the current directory :		Fetch sources from Git in the current directory :
	git clone git://git.code.sf.net/p/rodin-b-sharp/rodincore .		<nowiki>git clone git://git.code.sf.net/p/rodin-b-sharp/rodincore .</nowiki>

	==Building the Platform==		==Building the Platform==

imported>Tommy: /* Post Build Verifications */

2014-01-03T10:35:30Z

Post Build Verifications

← Older revision		Revision as of 10:35, 3 January 2014
Line 88:		Line 88:
	For each of them, check that:		For each of them, check that:
	* "rodin" binary is an executable file (for Linux and Mac)		* "rodin" binary is an executable file (for Linux and Mac)
	* ~~The~~ version appearing in ''About Rodin platform'' is correctly defined		* the version appearing in ''About Rodin platform'' is correctly defined
	* a directory "dropins" exists at the root (under "rodin", among "features", plugins", ...)		* a directory "dropins" exists at the root (under "rodin", among "features", plugins", ...)
	* in "configuration/org.eclipse.equinox.simpleconfigurator/bundles.info", plug-in "org.eclipse.equinox.p2.reconciler.dropins" is configured with auto start mode ("true" at the end of the line)		* in "configuration/org.eclipse.equinox.simpleconfigurator/bundles.info", plug-in "org.eclipse.equinox.p2.reconciler.dropins" is configured with auto start mode ("true" at the end of the line)

imported>Tommy at 10:35, 3 January 2014

2014-01-03T10:35:02Z

← Older revision		Revision as of 10:35, 3 January 2014
Line 62:		Line 62:
	To build the platform, you just need to run the script below (available from org.rodinp.releng/scripts/run-maven.sh) :		To build the platform, you just need to run the script below (available from org.rodinp.releng/scripts/run-maven.sh) :

	<nowiki>#!/bin/sh		<nowiki> #!/bin/sh
	###############################################################################		###############################################################################
	# Copyright (c) 2013 Systerel and others.		# Copyright (c) 2013 Systerel and others.
Line 81:		Line 81:
	GIT_COMMIT=`git log -1 --format='%h'`		GIT_COMMIT=`git log -1 --format='%h'`
	echo "Building Rodin with Maven for git commit: $GIT_COMMIT"		echo "Building Rodin with Maven for git commit: $GIT_COMMIT"
	mvn clean install -Dgit-commit=$GIT_COMMIT $@ # -DskipTests -fae</nowiki>		mvn clean install -Dgit-commit=$GIT_COMMIT $@ # -DskipTests -fae </nowiki>

	==Post Build Verifications==		==Post Build Verifications==

	When the build worked, the destination directory (defined by variable <tt>${www-basedir}<tt>) contains zipped archives for all platforms, the update site, and the target platform for plug-in development.		When the build worked, the destination directory (defined by variable <tt>${www-basedir}</tt>) contains zipped archives for all platforms, the update site, and the target platform for plug-in development.
	For each of them, check that:		For each of them, check that:
	* "rodin" binary is an executable file (for Linux and Mac)		* "rodin" binary is an executable file (for Linux and Mac)