diff options
author | Julian Ospald <julian@capital-match.com> | 2018-11-13 18:04:16 +0800 |
---|---|---|
committer | Julian Ospald <julian@capital-match.com> | 2018-11-13 18:04:16 +0800 |
commit | 24ba7ffb30220baec845791df9c5c8236b23326e (patch) | |
tree | c5221876181938e0da5f17d6915abeb4e8137a37 | |
parent | 37f1d353473939f36b22df243f3380fbcf109f6c (diff) |
Add proper cabal.project file with cabal-helper as subpackage
-rw-r--r-- | cabal.project | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project new file mode 100644 index 0000000..34e7a84 --- /dev/null +++ b/cabal.project @@ -0,0 +1,21 @@ +-- These are project-fixed settings and should not contain developer specific settings. +-- +-- Developer specific settings can be configured in cabal.project.local (e.g. optimization level) +-- either manually or through 'cabal new-configure'. +-- +-- Refer to the documentation: https://cabal.readthedocs.io/en/latest/nix-local-build.html#cabal-new-configure +-- https://cabal.readthedocs.io/en/latest/nix-local-build.html#configuring-builds-with-cabal-project +-- +-- A common config might be: +-- -- all local packages +-- optimization: 0 +-- +-- -- always build dependencies with highest optimization +-- package * +-- optimization: 2 + +with-compiler: ghc-8.4.4 + +packages: . + vendor/cabal-helper-0.8.1.2 + |