From a80b7f360f84d9fe33064b18f40686fa19247df5 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 14 Mar 2024 13:14:42 -0400 Subject: [PATCH] README.md: State how to install copilot-bluespec individually. Refs #7. --- README.md | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 165a6db..ed9945c 100644 --- a/README.md +++ b/README.md @@ -15,10 +15,18 @@ for systems with hard realtime requirements. ## Installation Copilot-Bluespec can be found on -[Hackage](https://hackage.haskell.org/package/copilot-bluespec). It is -typically only installed as part of the complete Copilot distribution. For -installation instructions, please refer to the [Copilot -website](https://copilot-language.github.io). +[Hackage](https://hackage.haskell.org/package/copilot-bluespec). It is intended +to be installed alongside a Copilot distribution by running the following +commands: + +``` +$ cabal update +$ cabal install copilot +$ cabal install copilot-bluespec +``` + +For more detailed instructions on how to install Copilot, please refer to the +[Copilot website](https://copilot-language.github.io). The generated Bluespec code requires `bsc` (the Bluespec compiler) in order to be compiled. `bsc` can be downloaded