Install optimized normalizer in the pipeline script - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Install optimized normalizer in the pipeline script #339

Closed deemp closed 3 months ago

deemp commented 3 months ago

Ways to (hopefully) improve dataization speed in the pipeline:

Build the normalizer executable with optimization flags
- -O2 (link)
Install the normalizer executable instead of using stack run