Permalink
Browse files

Fixed broken symlink commands; fixes issue #79.

  • Loading branch information...
rjust committed Apr 23, 2017
1 parent f95f21d commit c967812748e7f8cd6e1da9d2b62ff05f2de6d45a
Showing with 9 additions and 9 deletions.
  1. +9 −9 init.sh
View
18 init.sh
@@ -37,9 +37,9 @@ MAJOR_VERSION="1.3.1"
MAJOR_URL="http://mutation-testing.org/downloads"
MAJOR_ZIP="major-${MAJOR_VERSION}_jre7.zip"
cd "$BASE" && wget -nv -N "$MAJOR_URL/$MAJOR_ZIP" \
&& unzip -o "$MAJOR_ZIP" > /dev/null \
&& rm "$MAJOR_ZIP" \
&& cp major/bin/.ant major/bin/ant
&& unzip -o "$MAJOR_ZIP" > /dev/null \
&& rm "$MAJOR_ZIP" \
&& cp major/bin/.ant major/bin/ant
#
# Download EvoSuite
@@ -51,12 +51,12 @@ EVOSUITE_URL="http://www.evosuite.org/files"
EVOSUITE_JAR="evosuite-${EVOSUITE_VERSION}.jar"
EVOSUITE_RT_JAR="evosuite-standalone-runtime-${EVOSUITE_VERSION}.jar"
cd "$DIR_LIB_GEN" && [ ! -f "$EVOSUITE_JAR" ] \
&& wget -nv "$EVOSUITE_URL/$EVOSUITE_JAR"
&& wget -nv "$EVOSUITE_URL/$EVOSUITE_JAR"
cd "$DIR_LIB_RT" && [ ! -f "$EVOSUITE_RT_JAR" ] \
&& wget -nv "$EVOSUITE_URL/$EVOSUITE_RT_JAR"
&& wget -nv "$EVOSUITE_URL/$EVOSUITE_RT_JAR"
# Set symlinks for the supported version of EvoSuite
ln -sf "$DIR_LIB_GEN/$EVOSUITE_JAR $DIR_LIB_GEN/evosuite-current.jar"
ln -sf "$DIR_LIB_RT/$EVOSUITE_RT_JAR $DIR_LIB_RT/evosuite-rt.jar"
ln -sf "$DIR_LIB_GEN/$EVOSUITE_JAR" "$DIR_LIB_GEN/evosuite-current.jar"
ln -sf "$DIR_LIB_RT/$EVOSUITE_RT_JAR" "$DIR_LIB_RT/evosuite-rt.jar"
#
# Download Randoop
@@ -67,9 +67,9 @@ RANDOOP_VERSION="3.1.0"
RANDOOP_URL="https://github.com/randoop/randoop/releases/download/v${RANDOOP_VERSION}"
RANDOOP_JAR="randoop-all-${RANDOOP_VERSION}.jar"
cd "$DIR_LIB_GEN" && [ ! -f "$RANDOOP_JAR" ] \
&& wget -nv "$RANDOOP_URL/$RANDOOP_JAR"
&& wget -nv "$RANDOOP_URL/$RANDOOP_JAR"
# Set symlink for the supported version of Randoop
ln -sf "$DIR_LIB_GEN/$RANDOOP_JAR $DIR_LIB_GEN/randoop-current.jar"
ln -sf "$DIR_LIB_GEN/$RANDOOP_JAR" "$DIR_LIB_GEN/randoop-current.jar"
echo
echo "Defects4J successfully initialized."

0 comments on commit c967812

Please sign in to comment.