install osate

santoslab · Jan 28, 2025 · 2703925 · 2703925
1 parent 9ea82b6
commit 2703925
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 10 deletions.
diff --git a/.github/workflows/CI-camkes.yml b/.github/workflows/CI-camkes.yml
@@ -96,11 +96,14 @@ jobs:
 
 
           ################################################
-          # Install FMIDE
+          # Install OSATE
           ################################################
 
-          $SIREUM_HOME/bin/install/fmide.cmd --verbose
+          #$SIREUM_HOME/bin/install/fmide.cmd --verbose
 
+          export OSATE_HOME=$SIREUM_HOME/hamr/codegen/bin/linux/osate
+          $SIREUM_HOME/hamr/codegen/bin/build.cmd install-osate-gumbo
+          
           ls -laF $HOME
           chown -R $(whoami) $HOME
           ls -laF $HOME

diff --git a/.github/workflows/CI-macOS.yml b/.github/workflows/CI-macOS.yml
@@ -46,7 +46,7 @@ jobs:
         id: cache-fmide
         uses: actions/cache@v3
         with:
-          path: kekinian/bin/mac/fmide.app
+          path: kekinian/hamr/codegen/bin/mac/osate.app
           key: ${{ runner.os }}-${{ hashFiles('kekinian/hamr/codegen/jvm/src/main/resources/phantom_versions.properties') }}-fmide
       - name: Test
         run: |
@@ -69,9 +69,12 @@ jobs:
 
 
           ################################################
-          # Install FMIDE
+          # Install OSATE
           ################################################
 
-          $SIREUM_HOME/bin/install/fmide.cmd --verbose
+          #$SIREUM_HOME/bin/install/fmide.cmd --verbose
+
+          export OSATE_HOME=$SIREUM_HOME/hamr/codegen/bin/mac/osate.app
+          $SIREUM_HOME/hamr/codegen/bin/build.cmd install-osate-gumbo
 
           .ci/test.cmd
diff --git a/.github/workflows/CI-windows.yml b/.github/workflows/CI-windows.yml
@@ -62,7 +62,7 @@ jobs:
         id: cache-fmide
         uses: actions/cache@v3
         with:
-          path: kekinian\bin\win\fmide
+          path: kekinian\hamr\codegen\bin\win\osate
           key: ${{ runner.os }}-${{ hashFiles('kekinian\hamr\codegen\jvm\src\main\resources\phantom_versions.properties') }}-fmide
       - name: Check LongPathsEnabled
         run: |
@@ -106,7 +106,10 @@ jobs:
 
           set PATH=%SIREUM_HOME%\bin;%PATH%
       
-          call %SIREUM_HOME%\bin\install\fmide.cmd --verbose || goto :error
+          REM call %SIREUM_HOME%\bin\install\fmide.cmd --verbose || goto :error
+
+          set OSATE_HOME=%SIREUM_HOME%\hamr\codegen\bin\win\osate
+          call %SIREUM_HOME%\hamr\codegen\bin\build.cmd install-osate-gumbo || goto :error
 
           call .ci\test.cmd || goto :error
 

diff --git a/.github/workflows/CI_linux.yml b/.github/workflows/CI_linux.yml
@@ -47,7 +47,7 @@ jobs:
         id: cache-fmide
         uses: actions/cache@v3
         with:
-          path: kekinian/bin/linux/fmide
+          path: kekinian/hamr/codegen/bin/linux/osate
           key: ${{ runner.os }}-${{ hashFiles('kekinian/hamr/codegen/jvm/src/main/resources/phantom_versions.properties') }}-fmide
       - name: Test
         run: |
@@ -70,9 +70,12 @@ jobs:
 
 
           ################################################
-          # Install FMIDE
+          # Install OSATE
           ################################################
 
-          $SIREUM_HOME/bin/install/fmide.cmd --verbose
+          #$SIREUM_HOME/bin/install/fmide.cmd --verbose
+          
+          export OSATE_HOME=$SIREUM_HOME/hamr/codegen/bin/linux/osate
+          $SIREUM_HOME/hamr/codegen/bin/build.cmd install-osate-gumbo
 
           .ci/test.cmd