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.

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

Reverse examples/plugin dependency relationship. #91

Conversation

sellout
Copy link
Contributor

@sellout sellout commented Jan 11, 2022

This moves tests that depend on the plugin from concat-examples to
concat-plugin. The one shortcoming, IMO, is that it requries duplicating
the SMT flag.

@sellout
Copy link
Contributor Author

sellout commented Mar 16, 2022

It would be helpful for us to have this change in.

@sellout
Copy link
Contributor Author

sellout commented Mar 16, 2022

I'm happy to push a version of this without the GH CI, if that'd get it merged.

@sellout sellout changed the title Reverse examples/plugin dependency relationship Reverse examples/plugin dependency relationship. May 18, 2022
This moves tests that depend on the plugin from concat-examples to
concat-plugin. The one shortcoming, IMO, is that it requries duplicating
the SMT flag.
@mikesperber
Copy link
Contributor

This looks good to me. @conal, any objection to us merging this one?

@mikesperber
Copy link
Contributor

Just rebased & merged it.

@conal
Copy link
Collaborator

conal commented Aug 13, 2022

Sorry I forgot about this one.

Do all of the examples still build and work, including graphics (WebGL) and SMT?

@conal conal reopened this Aug 13, 2022
@mikesperber
Copy link
Contributor

So graphics builds, and test suites run. SMT compiles - is there a test suite or example for that one?

@mikesperber
Copy link
Contributor

(I.e. @conal, I see the comment about this in the README, but don't see what exactly I should uncomment in Test/Examples.hs.)

@conal
Copy link
Collaborator

conal commented Aug 15, 2022

@mikesperber Thanks. I don't remember how to test SMT, and I'm happy to assume that it'll work out fine (or doesn't matter).

@conal conal closed this Aug 15, 2022
@sellout sellout mentioned this pull request Aug 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants