search

ccfontes / faas-idris2

An OpenFaaS template for writing Functions in Idris 2.
MIT License
2 stars 0 forks source link

User to pass codegen only in one place #23

Closed ccfontes closed 1 year ago

ccfontes commented 1 year ago

Problem: For now, the user needs to configure codegen both in stack.yml and pack.toml.

Solution: Hack an idris2-pack fork to allow passing --cg <codegen> to build command

ccfontes commented 1 year ago

Fixed by #26