formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Haskell: use `hpack` to populate MAlonzo module names in the .cabal files

Open omelkonian opened this issue 1 year ago • 0 comments

We currently use an ad-hoc shell command in Makefile:

    find $(HS_DIST)/MAlonzo -name "*.hs" -print\
      | sed "s#^$(HS_DIST)/#        #;s#\.hs##;s#/#.#g"\
      >> $(HS_DIST)/$(CABAL_FILE)

...but we should do it properly using hpack and a package.yaml that generates the .cabal file.

omelkonian avatar Nov 24 '23 07:11 omelkonian