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
a3d6da12d7
Merge branch 'dev040' into rav001 2024-02-23 01:29:03 +00:00
ee7e32feb6
Remove flags 2024-02-21 20:32:36 -06:00
f818586b33
Set the Rust tool-chain 2024-02-21 19:33:28 -06:00
9d7a88be43
Add shared flag for cabal 2024-02-21 15:44:03 -06:00