-
Notifications
You must be signed in to change notification settings - Fork 13
/
idris-llvm.cabal
53 lines (47 loc) · 1.25 KB
/
idris-llvm.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
46
47
48
49
50
51
52
Name: idris-llvm
Version: 0.0.0.2
License: BSD3
License-file: LICENSE
Author: Benjamin Saunders
Maintainer: Niklas Larsson <[email protected]>
Build-Type: Custom
Cabal-Version: >= 1.8
Extra-source-files:
llvm/Makefile
llvm/*.c
Executable idris-codegen-llvm
Main-is: Main.hs
hs-source-dirs: src
Build-depends: idris
, base
, bytestring
, containers
, directory
, filepath
, haskeline >= 0.7
, mtl
, process
, text
, transformers
, vector
, llvm-hs
, llvm-hs-pure
other-modules: IRTS.CodegenLLVM
cpp-options: -DIDRIS_LLVM
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