Fine tune the cabal configuration #12

Merged
pitmutt merged 4 commits from rav001 into dev040 2024-02-23 01:29:25 +00:00

4 Commits

Author SHA1 Message Date
pitmutt a3d6da12d7
Merge branch 'dev040' into rav001 2024-02-23 01:29:03 +00:00
Rene Vergara ee7e32feb6
Remove flags 2024-02-21 20:32:36 -06:00
Rene Vergara f818586b33
Set the Rust tool-chain 2024-02-21 19:33:28 -06:00
Rene Vergara 9d7a88be43
Add `shared` flag for `cabal` 2024-02-21 15:44:03 -06:00