Commit d3d086b7 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files


parent 6247a6a8
......@@ -311,13 +311,41 @@ The OSLC Service Provider is tested on [Tomcat]( Web
Following are described two installations, the first is local (_development_ environment) and is used for test purposes in the development phase. The second (_production_ environment) is already in place and runs on the server. They respond respectively to requests to URLs https://localhost:8080/ and
##### Development (local)
* descrivere dove si installa (vedi waters)
* come si configura la porta 8080
* dove si mettono i tools
* come di configurano le variabili di ambiente
* target maven per deploy automatico
* Edit the `` script (which is located in the `bin` directory of Tomcat installation) and append the following variables at the beginning of file (soon after the initial comment section):
# LOGGING_MANAGER (Optional) Override Tomcat's logging manager
# Example (all one line)
# LOGGING_MANAGER="-Djava.util.logging.manager=org.apache.juli.ClassLoaderLogManager"
# -----------------------------------------------------------------------------
TOOLS4OSLC_DIR=<full path directory where are ES Tools>
JAVA_OPTS="-Xms128m -Xmx1024m -XX:MaxPermSize=256m"
JAVA_OPTS="$JAVA_OPTS -Dorg.eclipse.lyo.oslc4j.client.registryuri=http://localhost:8080/oslc4j-registry/catalog/singleton -Dorg.eclipse.lyo.oslc4j.client.uiuri=http://localhost:8080/OSLC4JUI"
JAVA_OPTS="$JAVA_OPTS -Dorg.eclipse.lyo.oslc4j.core.servlet.scheme=http -Dorg.eclipse.lyo.oslc4j.core.servlet.hostname=localhost -Dorg.eclipse.lyo.oslc4j.core.servlet.port=8080"
JAVA_OPTS="$JAVA_OPTS -Deu.fbk.verification.tool.nuxmv=$TOOLS4OSLC_DIR/nuXmv_linux64"
JAVA_OPTS="$JAVA_OPTS -Deu.fbk.verification.tool.ocra=$TOOLS4OSLC_DIR/ocra_linux64"
JAVA_OPTS="$JAVA_OPTS -Deu.fbk.verification.tool.xsap=$TOOLS4OSLC_DIR/xSAP_linux64 -Deu.fbk.verification.tool.fei_expander=$TOOLS4OSLC_DIR/xsap_functions/bin/expand_fei"
JAVA_OPTS="$JAVA_OPTS -Deu.fbk.verification.tool.mathsat=$TOOLS4OSLC_DIR/mathsat_linux64"
* set the tomcat port to `8080` (see the `conf/server.xml` file)
* edit the `conf/tomcat-users.xml` file to create the tomcat `admin` user
<role rolename="manager-gui"/>
<role rolename="manager_script"/>
<user username="admin" password="admin" roles="manager-gui, manager-script"/>
* copy the ES tools in the `$TOOLS4OSLC_DIR`
* start Tomcat
* install the OSLC Service Provider via maven `mvn clean install -P <EclipseVersion>,<JavaVersion>,IntegrationEnvironment`
##### Production (remote)
* the production web server is already in place
* descrivere dove si trova (, ssh-key, installation dire) e dove sono si tools
* dove sono configurate le variabili di ambiente
* target maven per deploy automatico
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment