mirror of
https://bitbucket.org/wisemapping/wisemapping-open-source.git
synced 2024-11-22 14:17:57 +01:00
Merge branch 'master' of github.com:wisemapping/wise-source
This commit is contained in:
commit
356425d71c
@ -2,7 +2,7 @@
|
||||
|
||||
## Project Information
|
||||
|
||||
The goal of this project is to provide a high quality product that can be deployed by educational and academic institutions, private and public companies and anyone who needs to have a mindmapping application. WiseMapping is based on the same code source supporting WiseMapping.com.
|
||||
The goal of this project is to provide a high quality product that can be deployed by educational and academic institutions, private and public companies and anyone who needs to have a mindmapping application. WiseMapping is based on the same code source supporting WiseMapping.com. More info: www.wisemapping.org
|
||||
|
||||
## Compiling and Running
|
||||
|
||||
|
@ -1,30 +1,33 @@
|
||||
#!/bin/bash
|
||||
|
||||
#set -x
|
||||
WISE_VERSION=0.94
|
||||
set -e
|
||||
|
||||
WISE_VERSION=0.96
|
||||
BASE_DIR=`pwd`
|
||||
TARGET_DIR=$BASE_DIR/target
|
||||
JETTY_DIR=$TARGET_DIR/wisemapping-$WISE_VERSION
|
||||
WISE_WEBAPP_DIR=$JETTY_DIR/webapps/wisemapping
|
||||
JETTY_DIST_DIR=jetty-distribution-7.3.0.v20110203
|
||||
JETTY_ZIP=${JETTY_DIST_DIR}.zip
|
||||
|
||||
# Clean ...
|
||||
mvn -f $BASE_DIR/../pom.xml clean
|
||||
mkdir target 2>/dev/null
|
||||
rm -fr $JETTY_DIR
|
||||
rm -fr $TARGET_DIR/jetty-hightide-7.0.0.v20091005
|
||||
[ ! -e target ] && mkdir target
|
||||
rm -fr ${JETTY_DIR}
|
||||
rm -fr ${TARGET_DIR}/jetty-distribution-7.3.0.v20110203
|
||||
|
||||
# Prepare resources ..
|
||||
mvn -f $BASE_DIR/../pom.xml install
|
||||
|
||||
if [ ! -f ./target/jetty-hightide-7.0.0.v20091005.zip ]
|
||||
if [ ! -f ./target/${JETTY_ZIP} ]
|
||||
then
|
||||
echo "Download Jetty"
|
||||
wget http://dist.codehaus.org/jetty/jetty-7.0.0/jetty-hightide-7.0.0.v20091005.zip -P $TARGET_DIR
|
||||
wget http://download.eclipse.org/jetty/stable-7/dist/${JETTY_ZIP} -P $TARGET_DIR
|
||||
fi
|
||||
|
||||
echo "Unzip Jetty ...:"
|
||||
unzip $TARGET_DIR/jetty-hightide-7.0.0.v20091005.zip -d $TARGET_DIR/ > /dev/null
|
||||
mv $TARGET_DIR/jetty-hightide-7.0.0.v20091005 $JETTY_DIR
|
||||
unzip ${TARGET_DIR}/${JETTY_ZIP} -d ${TARGET_DIR}/ > /dev/null
|
||||
mv ${TARGET_DIR}/${JETTY_DIST_DIR} ${JETTY_DIR}
|
||||
|
||||
|
||||
# Clean unsed files ...
|
||||
|
Loading…
Reference in New Issue
Block a user