indigo.cabal

cabal-version:      3.0
name:               indigo
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.1.0.0
license:            GPL-3.0-only
license-file:       LICENSE
author:             rockofox
maintainer:         ofelix@pm.me
build-type:         Simple
data-files:         **/*.in
data-dir:           share

common warnings
    -- ghc-options: -Wall -Wno-incomplete-uni-patterns -funfolding-use-threshold=16 -O2 -optc-O3
    -- ghc-options: -Wall -Wno-incomplete-uni-patterns -O0 -fno-code
    ghc-options: -Wall -Wno-incomplete-uni-patterns

flag ffi
    description: FFI
    default: True

library
    import:           warnings
    exposed-modules: , Parser
                     , VM
                     , BytecodeCompiler
                     , AST
                     , Verifier
                     , Util
                     , RegInst
                     , Ffi
                     , Optimizer
    other-modules: Paths_indigo
    build-depends: base,
        containers,
        text,
        megaparsec,
        parser-combinators,
        mtl,
        -- binaryen,
        directory,
        bytestring,
        binary,
        split,
        vector,
        -- pretty-simple,
        monad-loops,
        executable-path,
        filepath,
        random
    if flag(ffi)
        build-depends:
            libffi,
        if os(windows)
            build-depends: Win32
        else
            build-depends: unix
        cpp-options: -DFFI

    hs-source-dirs:   lib
    default-language: Haskell2010
    default-extensions: OverloadedStrings,
                        ImportQualifiedPost,
                        DisambiguateRecordFields,
                        DuplicateRecordFields,
                        DeriveGeneric,
                        BlockArguments,
                        LambdaCase,
                        OverloadedRecordDot,
                        RecordWildCards,
                        NamedFieldPuns
    
executable indigo
    main-is:          Main.hs
    hs-source-dirs:   app
    build-depends:    base,
                      optparse-applicative,
                      megaparsec,
                      mtl,
                      text,
                      bytestring,
                      indigo,
                      vector,
                      timeit,
                      repline,
                      containers,
                      githash

    default-extensions: OverloadedStrings,
                        ImportQualifiedPost,
                        DisambiguateRecordFields,
                        DuplicateRecordFields,
                        TemplateHaskell
    default-language: Haskell2010
test-suite spec
    type:             exitcode-stdio-1.0
    main-is:          Spec.hs
    hs-source-dirs:   tests
    build-depends:    base, hspec, hspec-contrib, QuickCheck, HUnit, indigo, generic-arbitrary, text, vector, megaparsec, mtl, raw-strings-qq, hspec-megaparsec
    other-modules:
        ParserSpec
        BytecodeCompilerSpec
        IntegrationSpec
        VerifierSpec
        RegInstSpec
        OptimizerSpec
    build-tool-depends: hspec-discover:hspec-discover == 2.*
    default-language: Haskell2010
    default-extensions: OverloadedStrings, ImportQualifiedPost, QuasiQuotes, DisambiguateRecordFields, DuplicateRecordFields, OverloadedRecordDot

    -- https://github.com/typeable/generic-arbitrary/issues/17
    ghc-options: -fconstraint-solver-iterations=100