Addressed whitespace issue in SIREUM_HOME path.

sireum · Sep 11, 2024 · 91eec81 · 91eec81
1 parent ddec69b
commit 91eec81
Show file tree

Hide file tree

Showing 10 changed files with 38 additions and 38 deletions.
diff --git a/bin/gumbo_plugin_release/b-update-gumgo-plugin-versions.cmd b/bin/gumbo_plugin_release/b-update-gumgo-plugin-versions.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/gumbo_plugin_release/c-osategumbo-update-site-builder.cmd b/bin/gumbo_plugin_release/c-osategumbo-update-site-builder.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/plugin_release/a-check-release.cmd b/bin/plugin_release/a-check-release.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/plugin_release/b-update-plugin-versions.cmd b/bin/plugin_release/b-update-plugin-versions.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/plugin_release/c-osate-update-site-builder.cmd b/bin/plugin_release/c-osate-update-site-builder.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/plugin_release/plugin-release-OLD.cmd b/bin/plugin_release/plugin-release-OLD.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/project-standalone.cmd b/bin/project-standalone.cmd
@@ -1,17 +1,17 @@
-::/*#! 2> /dev/null                                 #
-@ 2>/dev/null # 2>nul & echo off & goto BOF         #
-if [ -z ${SIREUM_HOME} ]; then                      #
-  echo "Please set SIREUM_HOME env var"             #
-  exit -1                                           #
-fi                                                  #
-exec ${SIREUM_HOME}/bin/sireum slang run "$0" "$@"  #
+::/*#! 2> /dev/null                                   #
+@ 2>/dev/null # 2>nul & echo off & goto BOF           #
+if [ -z ${SIREUM_HOME} ]; then                        #
+  echo "Please set SIREUM_HOME env var"               #
+  exit -1                                             #
+fi                                                    #
+exec "${SIREUM_HOME}/bin/sireum" slang run "$0" "$@"  #
 :BOF
 setlocal
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/bin/project.cmd b/bin/project.cmd
@@ -1,17 +1,17 @@
-::/*#! 2> /dev/null                                 #
-@ 2>/dev/null # 2>nul & echo off & goto BOF         #
-if [ -z ${SIREUM_HOME} ]; then                      #
-  echo "Please set SIREUM_HOME env var"             #
-  exit -1                                           #
-fi                                                  #
-exec ${SIREUM_HOME}/bin/sireum slang run "$0" "$@"  #
+::/*#! 2> /dev/null                                   #
+@ 2>/dev/null # 2>nul & echo off & goto BOF           #
+if [ -z ${SIREUM_HOME} ]; then                        #
+  echo "Please set SIREUM_HOME env var"               #
+  exit -1                                             #
+fi                                                    #
+exec "${SIREUM_HOME}/bin/sireum" slang run "$0" "$@"  #
 :BOF
 setlocal
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/common/bin/project.cmd b/common/bin/project.cmd
@@ -1,17 +1,17 @@
-::/*#! 2> /dev/null                                 #
-@ 2>/dev/null # 2>nul & echo off & goto BOF         #
-if [ -z ${SIREUM_HOME} ]; then                      #
-  echo "Please set SIREUM_HOME env var"             #
-  exit -1                                           #
-fi                                                  #
-exec ${SIREUM_HOME}/bin/sireum slang run "$0" "$@"  #
+::/*#! 2> /dev/null                                   #
+@ 2>/dev/null # 2>nul & echo off & goto BOF           #
+if [ -z ${SIREUM_HOME} ]; then                        #
+  echo "Please set SIREUM_HOME env var"               #
+  exit -1                                             #
+fi                                                    #
+exec "${SIREUM_HOME}/bin/sireum" slang run "$0" "$@"  #
 :BOF
 setlocal
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum

diff --git a/common/shared/src/main/scala/org/sireum/hamr/codegen/common/util/test/regen.cmd b/common/shared/src/main/scala/org/sireum/hamr/codegen/common/util/test/regen.cmd
@@ -8,13 +8,13 @@ if [ -z ${SIREUM_HOME} ]; then                                #
   echo "Please set SIREUM_HOME env var"                       #
   exit -1                                                     #
 fi                                                            #
-exec ${SIREUM_HOME}/bin/sireum slang run -n "$0" "$@"         #
+exec "${SIREUM_HOME}/bin/sireum" slang run -n "$0" "$@"       #
 :BOF
 if not defined SIREUM_HOME (
   echo Please set SIREUM_HOME env var
   exit /B -1
 )
-%SIREUM_HOME%\bin\sireum.bat slang run -n "%0" %*
+"%SIREUM_HOME%\bin\sireum.bat" slang run -n "%0" %*
 exit /B %errorlevel%
 ::!#*/
 // #Sireum