src/Pure/build-jars
changeset 47408 63c05991882e
parent 47115 1a05adae1cc9
child 47663 20e0865ae9e7
     1.1 --- a/src/Pure/build-jars	Mon Apr 09 20:42:05 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Apr 09 20:57:23 2012 +0200
     1.3 @@ -77,6 +77,7 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -f           fresh build"
     1.7 +  echo "    -t           test separate compilation of PIDE"
     1.8    echo
     1.9    exit 1
    1.10  }
    1.11 @@ -95,13 +96,17 @@
    1.12  # options
    1.13  
    1.14  FRESH=""
    1.15 +TEST_PIDE=""
    1.16  
    1.17 -while getopts "f" OPT
    1.18 +while getopts "ft" OPT
    1.19  do
    1.20    case "$OPT" in
    1.21      f)
    1.22        FRESH=true
    1.23        ;;
    1.24 +    t)
    1.25 +      TEST_PIDE=true
    1.26 +      ;;
    1.27      \?)
    1.28        usage
    1.29        ;;
    1.30 @@ -171,11 +176,16 @@
    1.31  
    1.32    SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes"
    1.33  
    1.34 -  isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
    1.35 -    fail "Failed to compile PIDE sources"
    1.36 -
    1.37 -  isabelle_scala scalac $SCALAC_OPTIONS -classpath classes "${PURE_SOURCES[@]}" || \
    1.38 -    fail "Failed to compile Pure sources"
    1.39 +  if [ "$TEST_PIDE" = true ]; then
    1.40 +    isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
    1.41 +      fail "Failed to compile PIDE sources"
    1.42 +    isabelle_scala scalac $SCALAC_OPTIONS -classpath classes "${PURE_SOURCES[@]}" || \
    1.43 +      fail "Failed to compile Pure sources"
    1.44 +  else
    1.45 +    isabelle_scala scalac $SCALAC_OPTIONS -classpath classes \
    1.46 +      "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
    1.47 +      fail "Failed to compile sources"
    1.48 +  fi
    1.49  
    1.50    mkdir -p "$TARGET_DIR/ext" || fail "Failed to create directory $TARGET_DIR/ext"
    1.51