#!/bin/sh

###################################################
#
# vIDE startup script for UNIX platforms
# Copyright (C) The vIDE Team.
#
###################################################

libpath=
classpath=
videhome=

if [ -n "$VIDE_HOME" ]; then
	libpath="-Dvide.libdir=${PWD}:${VIDE_HOME}/lib"
	classpath="-cp ${PWD}:${VIDE_HOME}"
  videhome="-Dvide.home=${VIDE_HOME}" 
else
  echo "warning: '\$VIDE_HOME' not set"
	libpath="-Dvide.libdir=${PWD}"
	classpath="-cp ${PWD}"	
fi 

nojitoption=
#comment the line below to enable JIT
#(but I doubt this will really speed up things..)
nojitoption="-Djava.compiler=NONE"

exec java ${nojitoption}  ${classpath} ${libpath} ${videhome} ide.vide $*