1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 01:52:11 +03:00
juvix/package.yaml
2022-01-05 09:38:35 +01:00

80 lines
1.8 KiB
YAML

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>, Jan Mas Rovira <jan@heliax.dev>
author: [Jonathan Prieto-Cubides]
tested-with: ghc == 9.0.1
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
github: heliaxdev/MiniJuvix
extra-source-files:
- README.md
- CHANGELOG.md
dependencies:
- aeson == 2.0.*
- base == 4.15.*
- bytestring == 0.10.*
- containers == 0.6.*
- filepath == 1.4.*
- megaparsec == 9.2.*
- microlens-platform == 0.4.*
- parser-combinators == 1.3.*
- polysemy == 1.7.*
- polysemy-plugin == 0.4.*
- prettyprinter == 1.7.*
- prettyprinter-ansi-terminal == 1.1.*
- process == 1.6.*
- relude == 1.0.*
- semirings == 0.6.*
- singletons == 3.0.*
- text == 1.2.*
- unordered-containers == 0.2.*
- word8 == 0.1.*
ghc-options:
- -O2 -flate-specialise -fspecialise-aggressively
- -Wincomplete-patterns
- -Wall -Wcompat -Widentities -Wincomplete-uni-patterns
- -Wincomplete-record-updates -fwrite-ide-info -hiedir=.hie
- -Wderiving-defaults -Wredundant-constraints
- -fhide-source-paths
- -Wmissing-deriving-strategies
default-extensions:
- DerivingStrategies
- FlexibleContexts
- DataKinds
- KindSignatures
- NoImplicitPrelude
- OverloadedStrings
- RecordWildCards
- ScopedTypeVariables
- StandaloneDeriving
- TypeFamilies
- UnicodeSyntax
library:
source-dirs: src
executables:
MiniJuvix:
main: Main.hs
source-dirs: src/app
dependencies:
- MiniJuvix
tests:
curry-test:
main: Spec.hs
source-dirs: src/test
dependencies:
- curry
- tasty
- tasty-hunit