Move DRT Lean library build command into bash script (#359)

Signed-off-by: Andrew Wells <[email protected]>

.github/workflows/build_and_test_drt_reusable.yml

@@ -57,7 +57,7 @@ jobs:
         run: cargo test --verbose
       - name: Build Lean libraries
         working-directory: ./cedar-spec/cedar-lean
-        run: source ~/.profile && lake build Cedar:static DiffTest:static Batteries:static
+        run: source ~/.profile && ../cedar-drt/build_lean_lib.sh
       - name: cargo build (cedar-drt/)
         shell: bash
         working-directory: ./cedar-spec/cedar-drt
@@ -73,4 +73,4 @@ jobs:
     uses: ./.github/workflows/run_integration_tests_reusable.yml
     with:
       cedar_spec_ref: ${{ inputs.cedar_spec_ref }}
-      cedar_policy_ref: ${{ inputs.cedar_policy_ref }}
+      cedar_policy_ref: ${{ inputs.cedar_policy_ref }}

cedar-drt/build_lean_lib.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+# Copyright Cedar Contributors
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Build command needed for linking Lean lib with Rust code
+lake build Cedar:static DiffTest:static Batteries:static