1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-25 16:45:20 +03:00
juvix/MiniJuvix.cabal
2021-11-22 16:23:26 +01:00

130 lines
3.7 KiB
Plaintext

cabal-version: 2.4
name: MiniJuvix
version: 0.0.0.0
license: GPL-3.0-only
license-file: LICENSE
copyright: 2021 Heliax AG
maintainer: Jonathan Prieto-Cubides <jonathan@heliax.dev>
author: [Jonathan Prieto-Cubides]
tested-with: ghc ==8.10.4 ghc ==8.10.7
homepage: https://github.com/heliaxdev/MiniJuvix
bug-reports: https://github.com/heliaxdev/MiniJuvix/issues
description:
A tiny dependent typed programming language for experimentation.
category: Compilers/Interpreters
build-type: Simple
extra-doc-files:
README.md
CHANGELOG.md
source-repository head
type: git
location: https://github.com/heliaxdev/MiniJuvix.git
library
exposed-modules:
MiniJuvix.Syntax.Core
MiniJuvix.Syntax.Eval
MiniJuvix.Utils.Prelude
MiniJuvix.Utils.Pretty
MiniJuvix.Utils.Parser
MiniJuvix.Parsing.Language
MiniJuvix.Parsing.Parser
MiniJuvix.Parsing.Error
MiniJuvix.Parsing.Location
MiniJuvix.Desugaring.Error
MiniJuvix.Typing.Typechecking
MiniJuvix.Typing.Utils
MiniJuvix.Typing.Error
MiniJuvix.Error
MiniJuvix.Pretty
MiniJuvix.Pipeline
MiniJuvix.Monad
hs-source-dirs: src
other-modules: Paths_MiniJuvix
default-language: Haskell2010
default-extensions:
NoImplicitPrelude Safe DerivingStrategies StandaloneDeriving
MultiParamTypeClasses OverloadedStrings
ghc-options:
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
-Wincomplete-record-updates -fwrite-ide-info -hiedir=.hie
-Wderiving-defaults
build-depends:
aeson >=2.0 && <=2.1,
base >=4.14 && <=4.16,
bytestring >=0.11 && <=0.12,
capability >=0.5 && <=0.6,
containers >=0.6 && <=0.7,
filepath >=1.4 && <=1.5,
megaparsec >=9.2 && <=9.3,
prettyprinter >=1.7 && <=1.8,
prettyprinter-ansi-terminal >=1.1 && <=1.2,
process >=1.6 && <=1.7,
relude >=1.0 && <=1.1,
semirings >=0.6 && <=0.7,
unordered-containers >=0.2 && <=0.3,
word8 >=0.1 && <=0.2
if impl(ghc >=8.0)
ghc-options: -Wredundant-constraints
if impl(ghc >=8.2)
ghc-options: -fhide-source-paths
if impl(ghc >=8.4)
ghc-options: -Wmissing-export-lists -Wpartial-fields
if impl(ghc >=8.8)
ghc-options: -Wmissing-deriving-strategies
executable MiniJuvix
main-is: Main.hs
hs-source-dirs: src/app
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
-Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
-fwrite-ide-info -hiedir=.hie
build-depends: base >=4.14 && <=4.16
if impl(ghc >=8.0)
ghc-options: -Wredundant-constraints
if impl(ghc >=8.2)
ghc-options: -fhide-source-paths
if impl(ghc >=8.4)
ghc-options: -Wmissing-export-lists -Wpartial-fields
if impl(ghc >=8.8)
ghc-options: -Wmissing-deriving-strategies
test-suite MiniJuvix-test
type: exitcode-stdio-1.0
main-is: Spec.hs
hs-source-dirs: src/test
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Widentities -Wincomplete-uni-patterns
-Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
build-depends: MiniJuvix -any
if impl(ghc >=8.0)
ghc-options: -Wredundant-constraints
if impl(ghc >=8.2)
ghc-options: -fhide-source-paths
if impl(ghc >=8.4)
ghc-options: -Wmissing-export-lists -Wpartial-fields
if impl(ghc >=8.8)
ghc-options: -Wmissing-deriving-strategies