forked from idris-lang/idris-emptycg
-
Notifications
You must be signed in to change notification settings - Fork 0
/
idris-emptycg.cabal
46 lines (39 loc) · 1.05 KB
/
idris-emptycg.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
Name: idris-emptycg
Version: 0.0.0.1
License: BSD3
License-file: CRAPL-LICENSE.txt
Author: Edwin Brady
Maintainer: Edwin Brady <ecb10@st-andrews.ac.uk>
Build-Type: Simple
Cabal-Version: >= 1.8
Extra-source-files:
rts/*
Executable idris-emptycg
Main-is: Main.hs
hs-source-dirs: src
Build-depends: idris
, base
, containers
, directory
, filepath
, haskeline >= 0.7
, mtl
, transformers
other-modules: IRTS.CodegenEmpty
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