search

Astrocoders / lenses-ppx

GADT lenses
MIT License
105 stars 10 forks source link

Add build for Windows and create postinstall script that is cross-platform #15

Closed romanschejbal closed 4 years ago

romanschejbal commented 4 years ago

Fixes #13

I have: 1) split build into respective steps, windows doesn't like the forward-slash in paths 1) added windows support 1) converted the post-install script into node as it needs to be cross-platform from now on 1) prettier-formatted the pipeline.yml 1) added menhir as dependency + resolution since esy fails to build on windows otherwise, see this https://github.com/esy/esy/issues/913 for more deets

If you guys could look at it and review that would be great! :)

Thanks

fakenickels commented 4 years ago

Thanks a lot for this! We'll be taking a look and merging it soon!

fakenickels commented 4 years ago

Thanks a lot! Will publish soon