From 650871117e8d9f300af7e1647dc2f52854c28235 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Mon, 10 Jul 2023 08:09:27 -0700 Subject: [PATCH] Remove build-sandbox.sh script: no longer needed The repository submodule management has been updated and simplified, making this script irrelevant. --- README.md | 12 +++--------- scripts/build-sandbox.sh | 3 --- 2 files changed, 3 insertions(+), 12 deletions(-) delete mode 100755 scripts/build-sandbox.sh diff --git a/README.md b/README.md index 97a26ea72..356980f80 100644 --- a/README.md +++ b/README.md @@ -80,18 +80,12 @@ directory for details). Quick start ------------- -To fetch all the latest git versions of immediate dependencies of -libraries in this repository, use the `scripts/build-sandbox.sh` shell -script; alternately, you can manually invoke the git commands to -initialize and recursively update submodules. You will find it most -convenient to setup public-key login for GitHub before you perform -this step. +Clone this repository and checkout the immediate submodules to supply the needed +dependencies (`git submodule update --init`). -Crucible can be built with the `cabal` tool (although it is not compatible with -the old/v1 cabal version). +Crucible can be built with the `cabal` tool: ``` -./scripts/build-sandbox.sh cabal update cabal new-configure cabal new-build all diff --git a/scripts/build-sandbox.sh b/scripts/build-sandbox.sh deleted file mode 100755 index 85080ca5b..000000000 --- a/scripts/build-sandbox.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -git submodule update --init --recursive