From 130c3cf3e890780bda5c67cd0f074a377eb3f1ff Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Wed, 6 Dec 2023 14:18:00 -0800 Subject: [PATCH] update scripts --- scripts/build.sh | 2 +- scripts/build_example.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/build.sh b/scripts/build.sh index c50a161..8c2142f 100644 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -10,5 +10,5 @@ source $HOME/.elan/env # Build the project. lake build -lake script run LeanCopilot/download +lake exe LeanCopilot/download lake build LeanCopilotTests diff --git a/scripts/build_example.sh b/scripts/build_example.sh index f7e9d6f..7af8d03 100644 --- a/scripts/build_example.sh +++ b/scripts/build_example.sh @@ -15,5 +15,5 @@ cd lean4-example git checkout LeanCopilot-demo # Build lean4-example. -lake script run LeanCopilot/download +lake exe LeanCopilot/download lake build