v0.2.0

Author: wadoon

action.yml

@@ -1,6 +1,6 @@
-name: The name of your action here
-description: Provide a description here
-author: Your name or organization here
+name: setup-smt
+description: Download and provides the z3 and cvc5 SMT solvers
+author: Alexander Weigl
 
 # Add your action's branding here. This will appear on the GitHub Marketplace.
 branding:
@@ -9,15 +9,15 @@ branding:
 
 # Define your inputs here.
 inputs:
-  milliseconds:
-    description: Your input description here
+  z3Version:
+    description: Version of Z3 to install
     required: true
-    default: '1000'
+    default: '4.13.3'
 
-# Define your outputs here.
-outputs:
-  time:
-    description: Your output description here
+  cvc5Version:
+    description: Version of CVC5 to install
+    required: true
+    default: '1.2.1'
 
 runs:
   using: node20

dist/index.js

@@ -1,17 +1,17 @@
 {
   "name": "setup-smt",
   "description": "GitHub Actions for setting up SMT",
-  "version": "0.1.3",
+  "version": "0.2.0",
   "author": "",
   "type": "module",
   "private": true,
-  "homepage": "https://github.com/actions/typescript-action",
+  "homepage": "https://github.com/keyproject/setup-smt",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/actions/typescript-action.git"
+    "url": "git+https://github.com/keyproject/setup-smt.git"
   },
   "bugs": {
-    "url": "https://github.com/actions/typescript-action/issues"
+    "url": "https://github.com/keyproject/setup-smt/issues"
   },
   "keywords": [
     "actions"

dist/index.js.map

@@ -1,8 +1,3 @@
-/**
- * The entrypoint for the action. This file simply imports and runs the action's
- * main logic.
- */
 import { run } from './main.js'
 
-/* istanbul ignore next */
 run()

dist/main.d.ts

@@ -0,0 +1,105 @@
+import * as tc from '@actions/tool-cache'
+import * as core from '@actions/core'
+import { env } from 'process'
+
+interface Tools {
+  linux: Tool | undefined
+  windows: Tool | undefined
+  macos: Tool | undefined
+}
+
+interface Tool {
+  url: string
+  format: string
+  binPath: string
+}
+
+type Platform = 'linux' | 'windows' | 'macos'
+
+// The operating system of the runner executing the job. Possible values are Linux, Windows, or macOS. For example, Windows
+const platform: Platform = (env.RUNNER_OS?.toLowerCase() || 'linux') as Platform
+
+async function download(
+  tool: string,
+  version: string,
+  urls: Tools
+): Promise<void> {
+  if (!version) {
+    return
+  }
+
+  let toolPath = tc.find(tool, version, platform)
+
+  const info: Tool | undefined = urls[platform]
+
+  if (info === undefined) {
+    return
+  }
+
+  if (!toolPath) {
+    const downloadPath = await tc.downloadTool(info.url)
+    let extractedPath: string
+
+    switch (info.format) {
+      case 'tar':
+        extractedPath = await tc.extractTar(downloadPath)
+        break
+      case '7z':
+        extractedPath = await tc.extract7z(downloadPath)
+        break
+      case 'xar':
+        extractedPath = await tc.extractXar(downloadPath)
+        break
+      default:
+        extractedPath = await tc.extractZip(downloadPath)
+    }
+
+    toolPath = await tc.cacheDir(extractedPath, tool, version, platform)
+  }
+
+  core.addPath(`${toolPath}/${info.binPath}`)
+  core.debug(`${toolPath}/${info.binPath} to PATH`)
+}
+
+export async function run(): Promise<void> {
+  core.debug(`Platform: ${platform}`)
+
+  const z3Version = core.getInput('z3Version')
+
+  await download('z3', z3Version, {
+    linux: {
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-glibc-2.35.zip`,
+      format: 'zip',
+      binPath: `z3-${z3Version}-x64-glibc-2.35/bin/`
+    },
+    windows: {
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-win.zip`,
+      format: 'zip',
+      binPath: `z3-${z3Version}-x64-win/bin/`
+    },
+    macos: {
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-osx-13.7.2.zip`,
+      format: 'zip',
+      binPath: `z3-${z3Version}-osx/bin/`
+    }
+  })
+
+  const cvc5Version = core.getInput('cv5Version')
+  await download('cvc5', cvc5Version, {
+    linux: {
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Linux-x86_64-static.zip`,
+      format: 'zip',
+      binPath: `cvc5-Linux-x86_64-static/bin/`
+    },
+    windows: {
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Win64-x86_64-static.zip`,
+      format: 'zip',
+      binPath: `cvc5-Win64-x86_64-static/bin/`
+    },
+    macos: {
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-macOS-x86_64-static.zip`,
+      format: 'zip',
+      binPath: `cvc5-macOS-x86_64-static/bin/`
+    }
+  })
+}