agda2train.cabal

cabal-version: 2.4
name:          agda2train
version:       0.0.3.0
synopsis:      Agda backend to generate training data for machine learning purposes.
description:
  Compiles Agda modules to JSON files, containing information about
  the imported scope of each module, its definitions and information about each
  sub-term appearing in the code (i.e. context, goal type, term).

category:      Agda, machine learning
author:        Orestis Melkonian
maintainer:    melkon.or@gmail.com
stability:     experimental
homepage:      https://github.com/omelkonian/agda2train/
bug-reports:   https://github.com/omelkonian/agda2train/issues
license:       BSD-3-Clause
license-file:  LICENSE
copyright:     (c) 2023 Orestis Melkonian
tested-with:
  GHC == 8.8.4
  GHC == 8.10.7
  GHC == 9.0.2
  GHC == 9.2.5
  GHC == 9.4.3

extra-source-files:
  data/defsToSkip.txt
  README.md
  LICENSE

source-repository head
  type: git
  location: git://github.com/omelkonian/agda2train.git

common globalOptions
  hs-source-dirs: src
  default-language: Haskell2010
  default-extensions:
    LambdaCase NamedFieldPuns OverloadedStrings RecordWildCards TupleSections
    DeriveGeneric DeriveAnyClass DeriveFunctor DeriveFoldable DeriveTraversable
    StandaloneDeriving PatternSynonyms TypeFamilies TypeOperators FunctionalDependencies
  build-depends:
      base >=4.12.0.0 && <4.20
    , Agda >=2.6.3 && <2.6.4
    , deepseq >=1.4.2.0 && <1.6
    , filepath >=1.4.1.0 && <1.5
    , pretty >=1.1.3.3 && <1.2
    , containers >=0.5.11.0 && <0.8
    , transformers >=0.5 && <0.7
    , aeson >=2.0 && <2.3
    , mtl >=2.2.1 && <2.4
    , async >=2.2 && <2.3
    , file-embed == 0.0.15.0
    , aeson-pretty >=0.8.9 && <0.9
    , bytestring >=0.10.8.1 && <0.13

library
  import: globalOptions
  exposed-modules:
    AgdaInternals
    Options
    JSON
    InternalToJSON
    ToTrain

executable agda2train
  import: globalOptions
  main-is: Main.hs
  ghc-options:
    -threaded -rtsopts -with-rtsopts=-N
    -Wno-missing-home-modules
  build-depends:
      agda2train
    , directory >=1.2.6.2 && <1.4
    , unordered-containers >=0.2.9.0 && <0.3

executable agda2train-db
  import: globalOptions
  main-is: DB.hs
  ghc-options:
    -threaded -rtsopts -with-rtsopts=-N
    -Wno-missing-home-modules
  build-depends:
      agda2train
    , unordered-containers >=0.2.9.0 && <0.3
    , hashable