idris-lua/idris-lua.cabal at master · melted/idris-lua · GitHub

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
Name:           idris-lua
Version:        0.0.1
License:        BSD3
Author:         Niklas Larsson <niklas@mm.st>
Maintainer:     Niklas Larsson <niklas@mm.st>
Build-Type:     Simple
Cabal-Version:  >= 1.8

Data-files:     rts/bigint.lua,
                rts/rts.lua

Executable idris-codegen-lua
  Main-is:        Main.hs
  hs-source-dirs: src

  Build-depends:  idris
                , base
                , containers
                , directory
                , filepath
                , haskeline >= 0.7
                , mtl
                , transformers
                , language-lua > 0.9
                , text
                , wl-pprint

  other-modules: IRTS.CodegenLua,
                 Paths_idris_lua

  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

  ghc-prof-options: -auto-all -caf-all
  ghc-options:      -threaded -rtsopts -funbox-strict-fields