cabal-version: 3.0
name: momo
version: 0.1.0.0

-- A short (one-line) description of the package.
synopsis: Modular module system

-- A longer description of the package.
description:
  A simple implementation of an SML-like module system as a
  module parameterized by a base language and its type-checker.

-- A URL where users can report bugs.
-- bug-reports:

-- The license under which the package is released.
license: BSD-3-Clause

-- The package author(s).
author: IC Rainbow

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer: aenor.realm@gmail.com

-- A copyright notice.
-- copyright:
category: Language

extra-source-files:
  README.md
  CHANGELOG.md

common language
  default-language: GHC2021
  default-extensions:
    AllowAmbiguousTypes
    BlockArguments
    LambdaCase
    MultiWayIf
    OverloadedRecordDot
    OverloadedStrings
    RecordWildCards
    TypeFamilies
    ViewPatterns

flag examples
  description: Build examples.
  default: False
  manual: True

library
  import: language
  exposed-modules:
    Momo.CoreSyntax
    Momo.CoreTyping
    Momo.Env
    Momo.Ident
    Momo.ModSyntax
    Momo.ModTyping
    Momo.Path
    Momo.Subst

  hs-source-dirs: src
  ghc-options:
    -Wall
  build-depends:
    base ^>=4.16.1.0,
    containers,
    exceptions,
    text ^>=2

executable mini-c
  import: language
  main-is: Main.hs
  hs-source-dirs: app/mini-c
  ghc-options:
    -Wall
  other-modules:
    MiniC.Core
    MiniC.Test
  build-depends:
    base ^>=4.16.1.0,
    containers,
    exceptions,
    momo,
    pretty-show,
    text ^>=2
  if !flag(examples)
    buildable: False