Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unvendor stp #51

Open
bpfoley opened this issue Feb 11, 2020 · 5 comments
Open

Unvendor stp #51

bpfoley opened this issue Feb 11, 2020 · 5 comments
Labels
build This is an issue with building the tools

Comments

@bpfoley
Copy link
Collaborator

bpfoley commented Feb 11, 2020

...and make it an optional dependency of Bluespec.

NB stp's build system is based on CMake, and currently there aren't packages for Debian/Ubuntu or Homebrew for Mac OS X. I'm working on the latter at the moment.
@bpfoley
Copy link
Collaborator Author

bpfoley commented Feb 11, 2020

STP homebrew Formula: Homebrew/homebrew-core#50020

@cbiffle
Copy link
Contributor

cbiffle commented Feb 11, 2020

Note that STP also appears to be GPL as a result of its Bit::Vector dependency. Unless I've missed something.

@quark17
Copy link
Collaborator

quark17 commented Feb 11, 2020

I have not looked to see if the license situation has changed in the new STP available on GitHub, but for the snapshot here, the Bit::Vector library uses LGPL (as indicated in extlib-constbv/constantbv.h and reproduced in LICENSES/LICENSE.stp_components). The BSC binaries dynamically link with the library built from the STP snapshot.

@quark17
Copy link
Collaborator

quark17 commented Feb 11, 2020

PR #31 is related to this and has discussion.

@cbiffle
Copy link
Contributor

cbiffle commented Feb 11, 2020

You are probably correct, I may have misread the LGPL as the GPL.

@bpfoley bpfoley added the build This is an issue with building the tools label Apr 2, 2020
@quark17 quark17 mentioned this issue Sep 3, 2021
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
build This is an issue with building the tools
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@cbiffle @bpfoley @quark17