Some brew?

runtimeverification · Oct 27, 2023 · 426ec84 · 426ec84
1 parent 85869b4
commit 426ec84
Showing 1 changed file with 23 additions and 17 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -78,24 +78,30 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-maven-
 
-      # - name: Build brew bottle
-      #   id: build
-      #   env:
-      #     HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: 1
-      #     MAVEN_OPTS: >-
-      #         -Dhttp.keepAlive=false
-      #         -Dmaven.wagon.http.pool=false
-      #         -Dmaven.wagon.httpconnectionManager.ttlSeconds=30
-      #   run: |
-      #     PACKAGE=kframework
-      #     VERSION=$(cat kframework/package/version)
-      #     ROOT_URL='https://github.com/runtimeverification/k/releases/download'
+      - name: Get source tarball
+        uses: actions/download-artifact@v3
+        with:
+          name: tarball
+
+      - name: Build brew bottle
+        id: build
+        env:
+          HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: 1
+          MAVEN_OPTS: >-
+              -Dhttp.keepAlive=false
+              -Dmaven.wagon.http.pool=false
+              -Dmaven.wagon.httpconnectionManager.ttlSeconds=30
+        run: |
+          PACKAGE=kframework
+          VERSION=$(cat kframework/package/version)
+          ls -R
+          ROOT_URL='https://github.com/runtimeverification/k/releases/download'
       #     wget "$ROOT_URL/v${VERSION}/kframework-${VERSION}-src.tar.gz"
-      #     cd homebrew-k
-      #     ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}
-      #     git commit Formula/$PACKAGE.rb -m "Update ${PACKAGE} to ${VERSION}: part 1"
-      #     ../kframework/package/macos/brew-build-and-update-to-local-bottle ${PACKAGE} ${VERSION} ${ROOT_URL}
-      #     git reset HEAD^
+          cd homebrew-k
+          ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}
+          git commit Formula/$PACKAGE.rb -m "Update ${PACKAGE} to ${VERSION}: part 1"
+          ../kframework/package/macos/brew-build-and-update-to-local-bottle ${PACKAGE} ${VERSION} ${ROOT_URL}
+          git reset HEAD^
       #     LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.ventura.bottle*.tar.gz"))
       #     BOTTLE_NAME=$(echo ${LOCAL_BOTTLE_NAME#./} | sed 's!kframework--!kframework-!')
       #     ../kframework/package/macos/brew-update-to-final ${PACKAGE} ${VERSION} ${ROOT_URL}