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

Update docs-search to the latest version, simplify including it in the build #775

Merged
merged 3 commits into from
Apr 19, 2021

Conversation

f-f
Copy link
Member

@f-f f-f commented Apr 15, 2021

This PR:

  • prepares for including 0.0.11 of docs-search
  • removes the Template Haskell logic that makes it hard to understand which version is being included in the build, see Updates for v0.14 purescript-docs-search#46 (comment)
  • conditionally includes the right version of docs-search depending on the compiler version

@f-f
Copy link
Member Author

f-f commented Apr 15, 2021

cc @cdepillabout: this will probably require adjustments in the nixpkgs build

@cdepillabout
Copy link
Collaborator

Thanks for letting me know!

@f-f f-f merged commit f5d1fdc into master Apr 19, 2021
@f-f f-f deleted the update-docs-search branch April 19, 2021 23:00
@f-f f-f mentioned this pull request Apr 20, 2021
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.

2 participants