Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add build for B-lang-org/bsc-contrib repo as 'bluespec-libraries' tar…
…get, also add 'bluespec' alias (#404) 'bluespec-libraries' builds and installs the B-lang-org/bsc-contrib repo into the local install. 'bluespec' is a dummy target which depends on 'bluespec-libraries' which depends on 'bluespec-compiler', so building 'bluespec' with dependencies builds both. Upstream bluespec-compiler's makefile tends to rebuild all its BSV files even if nothing changed, so building 'bluespec-libraries' also causes the BSV inside bluespec-compiler to get rebuilt. Not sure if there's an easy solution for this.
- Loading branch information