cabal-version:       3.12
name:                kanagawa
version:             1.0.0
synopsis:            Kanagawa compiler frontend
description:         Kanagawa is a High Level Synthesis (HLS) language for hardware design.
homepage:            https://dl.acm.org/doi/10.1145/3656420
author:              Adam Sapek, David Cox
maintainer:          adamsap@microsoft.com
copyright:           (C) Microsoft
category:            Language
build-type:          Simple
license:             MIT
license-file:        LICENSE

source-repository head
  type: git
  location: https://github.com/microsoft/kanagawa

Flag Debug {
  Description: Debug build, don't optimize
  Default:     False
}

executable kanagawa
  if flag(Debug)
    ghc-options:       -Wall -threaded -feager-blackholing -with-rtsopts=-A128M -O0
  else
    ghc-options:       -Wall -threaded -feager-blackholing -with-rtsopts=-A128M

  default-extensions:  RecordWildCards
                     , PatternSynonyms
  main-is:             Main.hs
  other-modules:       Options
                       Options.CmdArgs
                       Options.FFI
                       ParseTree
                       ParseTree.FFI
                       ParseTree.Types
                       ReleaseVersion
  build-depends:       base
                     , cmdargs              >= 0.10.10
                     , containers
                     , directory
                     , filepath
                     , hashable
                     , kanagawa
                     , megaparsec
                     , mtl
                     , prettyprinter
                     , text

  include-dirs:        .

  if os(linux)
    extra-libraries:   kanagawa-backend stdc++ dl
  else
    extra-libraries:   kanagawa-backend

  hs-source-dirs:      hs/app
  default-language:    Haskell2010

library
  if flag(Debug)
    ghc-options:       -Wall -O0
  else
    ghc-options:       -Wall

  hs-source-dirs:      hs/lib
  default-extensions:  FlexibleContexts
                     , RecordWildCards
                     , PatternSynonyms
                     , OverloadedStrings
  exposed-modules:     Language.Kanagawa.Closure
                       Language.Kanagawa.Constexpr
                       Language.Kanagawa.Desugar
                       Language.Kanagawa.Error
                       Language.Kanagawa.Frontend
                       Language.Kanagawa.Function
                       Language.Kanagawa.Internal
                       Language.Kanagawa.Mangle
                       Language.Kanagawa.Parser
                       Language.Kanagawa.Parser.IO
                       Language.Kanagawa.Parser.Lexer
                       Language.Kanagawa.Parser.Options
                       Language.Kanagawa.Parser.Pattern
                       Language.Kanagawa.Parser.SymbolTable
                       Language.Kanagawa.Parser.Syntax
                       Language.Kanagawa.Parser.Syntax.FixPattern
                       Language.Kanagawa.Parser.Syntax.Pattern
                       Language.Kanagawa.Parser.Syntax.TH
                       Language.Kanagawa.PrettyPrint
                       Language.Kanagawa.Recursion
                       Language.Kanagawa.Symbols
                       Language.Kanagawa.Template
                       Language.Kanagawa.Type
                       Language.Kanagawa.Type.Inference
                       Language.Kanagawa.TypeCheck
                       Language.Kanagawa.Warning

  build-depends:       base                 >= 4.9 && < 5.0
                     , containers           >= 0.6.0.1
                     , hashable             >= 1.4.4.0
                     , unordered-containers >= 0.2.20
                     , directory            >= 1.1
                     , filepath             >= 1.0
                     , integer-logarithms   >= 1.0.3
                     , megaparsec           >= 9.0
                     , mtl                  >= 2.2
                     , splitmix             >= 0.1.2
                     , edit-distance        >= 0.2.2.1
                     , parallel             >= 3.2.2.0
                     , parser-combinators   >= 1.3.0
                     , prettyprinter        >= 1.7.1
                     , template-haskell     >= 2.18.0.0
                     , text                 >= 1.2

  default-language:    Haskell2010

  -- Allow kanagawa-backend shared library to be found adjacent to the kanagawa compiler binary

  if os(linux)
      ld-options:      -Wl,-rpath,$ORIGIN

  if os(darwin)
      ld-options:
        -Wl,-rpath,@loader_path
        -Wl,-rpath,@loader_path/../..