-
Notifications
You must be signed in to change notification settings - Fork 0
/
idris-dsl.cabal
45 lines (40 loc) · 1.08 KB
/
idris-dsl.cabal
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
Name: idris-dsl
Version: 0.0.0.1
License: BSD3
License-file: LICENSE
Author: Edwin Brady
Maintainer: Edwin Brady <[email protected]>
Build-Type: Simple
Cabal-Version: >= 1.8
Extra-source-files:
dslrts/*.dsl
Executable idris-codegen-dsl
Main-is: Main.hs
hs-source-dirs: src
Build-depends: idris >= 1.3.1
, base
, containers
, directory
, filepath
, haskeline >= 0.7
, mtl
, transformers
, pretty
other-modules: IRTS.CodegenDSL
if os(linux)
cpp-options: -DLINUX
build-depends: unix < 2.8
if os(freebsd)
cpp-options: -DFREEBSD
build-depends: unix < 2.8
if os(dragonfly)
cpp-options: -DDRAGONFLY
build-depends: unix < 2.8
if os(darwin)
cpp-options: -DMACOSX
build-depends: unix < 2.8
if os(windows)
cpp-options: -DWINDOWS
build-depends: Win32 < 2.4
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields