diff --git a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh index 1397a81..975a3dd 100755 --- a/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh +++ b/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh @@ -79,13 +79,18 @@ SCRIPT=$0 XSD="schema/fmi3.xsd" MODEL="model model/Rules/*.adoc" - + + # Fix Class Path Separator - Default to colon for Unix-like systems, , semicolon for msys + CLASSPATH_SEPARATOR=":" + if [ $OSTYPE == "msys" ]; then + CLASSPATH_SEPARATOR=";" + fi java -Xmx1g \ -Dvdmj.parser.merge_comments=true \ -Dvdmj.parser.external_readers=.fmu=fmureader.FMUReader,.xml=fmureader.FMUReader \ -Dfmureader.noschema=true \ -Dfmureader.vdmfile="$SAVE" \ - -cp vdmj.jar:annotations.jar:xsd2vdm.jar:fmuReader.jar com.fujitsu.vdmj.VDMJ \ + -cp vdmj.jar${CLASSPATH_SEPARATOR}annotations.jar${CLASSPATH_SEPARATOR}xsd2vdm.jar${CLASSPATH_SEPARATOR}fmuReader.jar com.fujitsu.vdmj.VDMJ \ -vdmsl -q -annotations -e "isValidFMIConfiguration(modelDescription, buildDescription, terminalsAndIcons)" \ $MODEL "$FILE" | sed -e "s++$LINK+" |