This repository was archived by the owner on Oct 6, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathpackage.yaml
67 lines (61 loc) · 1.64 KB
/
package.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
name: idream
version: 0.2.0.0
synopsis: A simple build system for Idris
homepage: https://github.com/ejconlon/idream#README.md
license: BSD3
author: idream team
maintainer: idream team
copyright: idream team, 2017
category: Build Tool
extra-source-files:
- README.md
dependencies:
- base >= 4.13 && < 5
- aeson >= 1.5 && < 1.6
- aeson-pretty >= 0.8 && < 0.9
- algebraic-graphs >= 0.5 && < 0.6
- bytestring >= 0.10 && < 0.11
- containers >= 0.6 && < 0.7
- data-default >= 0.7 && < 0.8
- directory >= 1.3 && < 1.4
- filepath >= 1.4 && < 1.5
- little-logger >= 0.3 && < 0.4
- little-rio >= 0.2 && < 0.3
- microlens >= 0.4 && < 0.5
- mtl >= 2.2 && < 2.3
- optparse-applicative >= 0.15 && < 0.16
- process >= 1.6 && < 1.7
- shelly >= 1.9 && < 1.10
- text >= 1.2 && < 1.3
- text-show >= 3.9 && < 3.10
- unliftio >= 0.2 && < 0.3
- unordered-containers >= 0.2 && < 0.3
ghc-options: -Wall -Werror -optP-Wno-nonportable-include-path -O2
# ghc-options: -optP-Wno-nonportable-include-path
default-extensions:
- DeriveFoldable
- DerivingStrategies
- GeneralizedNewtypeDeriving
- LambdaCase
- NoImplicitPrelude
- OverloadedStrings
- ScopedTypeVariables
- TupleSections
library:
source-dirs: src
executables:
idream:
source-dirs: exe
main: Main.hs
dependencies:
- idream
tests:
idream-test:
main: test.hs
source-dirs: test
build-tools:
- tasty-discover >= 4.2 && < 4.3
dependencies:
- idream
- tasty >= 1.2 && < 1.3
- tasty-hunit >= 0.10 && < 0.11