Use dkml-workflows.1.1.0 w/o pin (do upgrade)

diskuv · Nov 7, 2022 · bad7a16 · bad7a16
1 parent 235499e
commit bad7a16
Show file tree

Hide file tree

Showing 14 changed files with 8,577 additions and 0 deletions.
diff --git a/ci/setup-dkml/gh-darwin/post/action.yml b/ci/setup-dkml/gh-darwin/post/action.yml
@@ -0,0 +1,73 @@
+# setup-dkml
+#   Short form: sd4
+
+name: post-dkml
+author: Diskuv, Inc.
+description: Teardown after building OCaml native executables for Darwin
+
+runs:
+  using: "composite"
+
+  steps:
+    - name: Full matrix variables
+      shell: bash
+      # Every matrix variable lookup in this Action should use the output of this step. Even
+      # the matrix variables that the user must specify (ex. dkml_host_abi) should be
+      # referenced using [steps.full_matrix_vars.outputs.dkml_host_abi] rather than
+      # [matrix.dkml_host_abi] so that there is a single place to edit for variable changes.
+      id: full_matrix_vars
+      run: |
+        # Select correct Darwin matrix variables
+        case "${{ matrix.dkml_host_abi }}" in
+        
+        darwin_x86_64)
+          dkml_host_os='darwin';
+          opam_root_cacheable='/Users/runner/.opam';
+          abi_pattern='macos-darwin_all';
+          gh_os='macos-latest';
+          gh_unix_shell='sh';
+          bootstrap_opam_version='2.2.0-dkml20220801T155940Z';
+          dkml_host_abi='darwin_x86_64';
+          opam_root='/Users/runner/.opam' ;;
+          
+        *)  echo "FATAL: Unsupported dkml_host_abi=$dkml_host_abi in Darwin action.yml"; exit 107 ;;
+        esac
+
+        add() {
+          echo "$1=$2" | tee -a $GITHUB_OUTPUT | tee -a $GITHUB_ENV
+        }
+
+        add dkml_host_abi "$dkml_host_abi"
+        add abi_pattern "$abi_pattern"
+        add opam_root "$opam_root"
+        add opam_root_cacheable "$opam_root_cacheable"
+        add exe_ext "${exe_ext:-}"
+        add bootstrap_opam_version "${bootstrap_opam_version:-}"
+        add ocaml_options "${ocaml_options:-}"
+
+    - name: Teardown DKML build apparatus
+      shell: bash
+      env:
+        _STUB_FOR_AUTOGEN: "ON" # 
+
+        # autogen from global_env_vars.
+        DEFAULT_DKML_COMPILER: '4.12.1-v1.0.2'
+        PIN_BASE: 'v0.14.3'
+        PIN_BIGSTRINGAF: '0.8.0'
+        PIN_CORE_KERNEL: 'v0.14.2'
+        PIN_CTYPES_FOREIGN: '0.19.2-windowssupport-r4'
+        PIN_CTYPES: '0.19.2-windowssupport-r4'
+        PIN_CURLY: '0.2.1-windows-env_r2'
+        PIN_DIGESTIF: '1.0.1'
+        PIN_DUNE: '2.9.3+shim.1.0.2~r0'
+        PIN_DUNE_CONFIGURATOR: '2.9.3'
+        PIN_DKML_APPS: '1.0.1'
+        PIN_OCAMLBUILD: '0.14.0'
+        PIN_OCAMLFIND: '1.9.1'
+        PIN_OCP_INDENT: '1.8.2-windowssupport'
+        PIN_PPX_EXPECT: 'v0.14.1'
+        PIN_PTIME: '0.8.6-msvcsupport'
+        PIN_TIME_NOW: 'v0.14.0'
+        PIN_WITH_DKML: '1.0.1'
+      run: |
+        sh .ci/sd4/run-teardown-dkml.sh GITHUB_WORKSPACE "$GITHUB_WORKSPACE"
diff --git a/ci/setup-dkml/gh-darwin/post/dune b/ci/setup-dkml/gh-darwin/post/dune
@@ -0,0 +1,17 @@
+; DO NOT EDIT THIS FILE. It is auto-generated by generate-setup-dkml-scaffold
+; Typical upgrade steps:
+;   opam upgrade dkml-workflows && opam exec -- generate-setup-dkml-scaffold && dune build '@gen-dkml' --auto-promote
+
+(rule
+  (alias gen-dkml)
+  (target action.gen.yml)
+  (action
+    (setenv
+     OCAMLRUNPARAM
+     b
+    (run gh-dkml-action-yml --phase post --output-darwin %{target}))))
+
+(rule
+  (alias gen-dkml)
+  (action
+    (diff action.yml action.gen.yml)))