Solve #58 by using `make` for the build

ReplicaTest / REPLica

Golden tests for command-line interfaces.

Other

18 stars 3 forks source link

Solve #58 by using `make` for the build #62

Closed berewt closed 3 years ago

berewt commented 3 years ago

Not checked yet

teto commented 3 years ago

I managed to fix the flake locally but I think a more elegant fix can be provided if https://github.com/idris-lang/Idris2/pull/1901 gets accepted.

berewt commented 3 years ago

It looks like a good idea. Usually, the feedback are quite fast on Idris project. We can wait for it and see how it goes... I think they could agree with it.

teto commented 3 years ago

I think this can be closed too ;)

berewt commented 3 years ago

Closed, adressed in #66.