From bc8ca82ea5432adbe80527ba23fb1ff8b37009c0 Mon Sep 17 00:00:00 2001 From: tzlil Date: Sat, 15 Apr 2023 16:17:50 +0300 Subject: improve flake --- lambda.cabal | 44 +++++++++++++++++++------------------------- 1 file changed, 19 insertions(+), 25 deletions(-) (limited to 'lambda.cabal') diff --git a/lambda.cabal b/lambda.cabal index aee89e6..6189111 100644 --- a/lambda.cabal +++ b/lambda.cabal @@ -1,4 +1,4 @@ -cabal-version: 1.12 +cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.35.2. -- @@ -11,39 +11,33 @@ maintainer: sedwards@cs.columbia.edu copyright: 2023 John Hui and Stephen Edwards license: BSD3 build-type: Simple -extra-source-files: README.md +extra-source-files: + README.md library exposed-modules: - AST - HW - Parse - - other-modules: Paths_lambda - hs-source-dirs: src - ghc-options: - -Wall -Wcompat -Widentities -Wincomplete-record-updates - -Wincomplete-uni-patterns -Wmissing-export-lists - -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints - + AST + HW + Parse + other-modules: + Paths_lambda + hs-source-dirs: + src + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: - base >=4.7 && <5 + base >=4.7 && <5 , containers , megaparsec - default-language: Haskell2010 executable plc - main-is: Main.hs - other-modules: Paths_lambda - hs-source-dirs: plc - ghc-options: - -Wall -Wcompat -Widentities -Wincomplete-record-updates - -Wincomplete-uni-patterns -Wmissing-export-lists - -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints - + main-is: Main.hs + other-modules: + Paths_lambda + hs-source-dirs: + plc + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: - base >=4.7 && <5 + base >=4.7 && <5 , lambda - default-language: Haskell2010 -- cgit 1.4.1