spacer
spacer search


Software Model Checking Framework

Search
spacer
header
Main Menu
Home
Team
Downloads
Papers
Documentation
API
Examples
Repository
Bug Reports
Licenses
Forums
Bogor Users Map
Site Map
Contact Us
Search
Login Form





Lost Password?
 
Home arrow Documentation arrow Tips and Tricks arrow Compiling and Deploying Bogor

Compiling and Deploying Bogor

An instruction for compiling and deploying Bogor core and Bogor extensions.

Author: Robby


1. Introduction

The bogor-build project contains an Ant's build.xml file to check out, to compile, to package, and to install Bogor directly from the https://robby.user.cis.ksu.edu/bogor Subversion repository. Using this build mechanism, you have options to check out the latest version of Bogor, or one of the previous stable versions. If you use Eclipse, you need the Subclipse plugin to be able to download the bogor-build project into your workspace. Otherwise, you can use Ant directly from a command-line shell. This documentation, however, assumes that you use Eclipse. In addition, we also assume that you are familiar with Subclipse. If you are not, you can read through Subclipse's documentation that is available in the Eclipse Help System once you install it.

2. Checking Out The bogor-build Project

To check out the bogor-build project, add "https://robby.user.cis.ksu.edu/bogor" in your SVN repository. Expand the repository in the "SVN Repository" view, and right click on the "build" folder and select "Checkout..."

You can choose to name the project differently in your workspace. Click "Finish" to continue.

3. Configuring build.properties

The project contains a template for the property file that you need to configure for running the build.xml file.

# Set the directory or the jar file for Bogor core class files 
bogor.core.classpath=D:/documents/workspace/bogor-core/bin

# Set the library directory for Bogor core
bogor.core.lib=D:/documents/workspace/bogor-core/lib

# Set the Eclipse installation directory
eclipse.dir=D:/programs/eclipse

# Set Bogor build number
bogor.build=20060221

# Choose Bogor branch, either stable version (STABLE) or the development version (.)
# STABLE
bogor.tag=STABLE
# DEVELOPMENT
#bogor.tag=.

# Bogor Subversion repository login (projects.cis.ksu.edu G-Forge login)
# This is used for checking out bogor-core, however, access to it is currently
# restricted
svn.username=
svn.password=

You need to configure the bogor.core.classpath and the bogor.core.lib properties when checking out non-core Bogor projects. The bogor.build shoud be the build date of Bogor. If checking out the development version, change this date appropriately. The svn.username and the svn.password properties are needed to check out Bogor core. Note that access to Bogor core through Subversion is not available for public at this point. Instead you need to check out from our G-Forge website http://projects.cis.ksu.edu. When checking out Bogor core, you need to comment the following lines in build.xml (in the javac.class.path section).

<!-- comment these classpath when building Bogor core -->
<pathelement location="${bogor.core.classpath}" />
<fileset dir="${bogor.core.lib}">
<include name="**/*.jar" />
</fileset>

4. Running Ant's build.xml

To start the process, right click on the build.xml file in the bogor-build project, select "Run As" -> "Ant Build..."

Select the build target that you want (and uncheck "usage"):

  • core-build, builds the Bogor core project (Restricted)

  • install-core, installs Bogor core in your Eclipse plugins directory (Restricted)

  • gui-build, builds the Bogor GUI plugin and its dependences

  • install-core-support, installs Bogor libraries and Bogor GUI in your Eclipse plugins directory

  • build-all-ext, builds all Bogor extensions

  • install-extensions, installs Bogor extensions in your Eclipse plugins directory

 
Next >
spacer
Popular
Newsflash

 
(c) SAnToS Laboratory, Kansas State University, 2002-2006
spacer