search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Supporting several platforms #330

Closed deemp closed 4 months ago

deemp commented 4 months ago
Source Pipeline script
Stimulus Pipeline script runs stack install to build normalizer from sources and install it.
Environment CI
Artifact normalizer Haskell code
Response normalizer installation finishes.
Response measure normalizer installation finishes successfully and normalizer is available on PATH.

Tested in the workflow.

https://github.com/objectionary/normalizer/blob/a970152a20373d1c33190495788bfe53e8869542/.github/workflows/ghc.yml#L109

https://github.com/objectionary/normalizer/blob/a970152a20373d1c33190495788bfe53e8869542/.github/workflows/ghc.yml#L148