git.iko.soy/Idris-dev
on 93522bc help sign in
Idris-dev/idris.cabal
136 lines 5.9 kB history raw
1Name: idris
2Version: 0.9.8.1
3License: BSD3
4License-file: LICENSE
5Author: Edwin Brady
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
7Homepage: http://www.idris-lang.org/
9Stability: Beta
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Functional Programming Language with Dependent Types
12Description: Idris is a general purpose language with full dependent types.
13 It is compiled, with eager evaluation.
14 Dependent types allow types to be predicated on values,
15 meaning that some aspects of a program's behaviour can be
16 specified precisely in the type. The language is closely
17 related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/documentation>.
18 Features include:
19 .
20 * Full dependent types with dependent pattern matching
21 .
22 * where clauses, with rule, simple case expressions,
23 pattern matching let and lambda bindings
24 .
25 * Type classes, monad comprehensions
26 .
27 * do notation, idiom brackets, syntactic conveniences for lists,
28 tuples, dependent pairs
29 .
30 * Totality checking
31 .
32 * Coinductive types
33 .
34 * Indentation significant syntax, extensible syntax
35 .
36 * Tactic based theorem proving (influenced by Coq)
37 .
38 * Cumulative universes
39 .
40 * Simple foreign function interface (to C)
41 .
42 * Hugs style interactive environment
44Cabal-Version: >= 1.6
47Build-type: Custom
50Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
51 rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
52 rts/libtest.c
53 js/Runtime-common.js
54 js/Runtime-node.js
55 js/Runtime-browser.js
56Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
57 lib/Network/*.idr lib/Control/*.idr
58 lib/Control/Monad/*.idr lib/Language/*.idr
59 lib/Language/Reflection/*.idr
60 lib/System/Concurrency/*.idr
61 lib/Data/*.idr lib/Debug/*.idr
62 lib/Data/Vect/*.idr
63 lib/Decidable/*.idr
64 tutorial/examples/*.idr lib/base.ipkg
65 effects/Makefile effects/*.idr effects/Effect/*.idr
66 effects/effects.ipkg
67 javascript/Makefile
68 javascript/JavaScript/*.idr
69 javascript/*.idr
70 javascript/javascript.ipkg
71 config.mk
72 rts/*.c rts/*.h rts/Makefile
73 js/*.js
74 java/src/main/java/org/idris/rts/*.java
75 java/*.xml
77source-repository head
78 type: git
79 location: git://github.com/edwinb/Idris-dev.git
81Flag Java
82 Description: Build the Java RTS
83 Default: False
85Flag NoEffects
86 Description: Do not build the effects package
87 Default: False
89Executable idris
90 Main-is: Main.hs
91 hs-source-dirs: src
92 Other-modules: Core.TT, Core.Evaluate, Core.Execute, Core.Typecheck,
93 Core.ProofShell, Core.ProofState, Core.CoreParser,
94 Core.ShellParser, Core.Unify, Core.Elaborate,
95 Core.CaseTree, Core.Constraints,
97 Idris.AbsSyntax, Idris.AbsSyntaxTree,
98 Idris.Parser, Idris.Help, Idris.IdeSlave, Idris.REPL,
99 Idris.REPLParser, Idris.ElabDecls, Idris.Error,
100 Idris.Delaborate, Idris.Primitives, Idris.Imports,
101 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
102 Idris.Coverage, Idris.IBC, Idris.Unlit,
103 Idris.DataOpts, Idris.Transforms, Idris.DSL,
104 Idris.UnusedArgs, Idris.Docs, Idris.Completion,
105 Idris.Providers,
107 Util.Pretty, Util.System, Util.DynamicLinker,
108 Pkg.Package, Pkg.PParser,
110 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
111 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
112 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
113 IRTS.CodegenJavaScript, IRTS.CodegenLLVM,
114 IRTS.CodegenCommon, IRTS.DumpBC
116 Paths_idris
118 Build-depends: base>=4 && <5, parsec>=3, mtl, Cabal,
119 haskeline>=0.7, split, directory,
120 containers, process, transformers, filepath,
121 directory, binary, bytestring, text, pretty,
122 language-java>=0.2.2, libffi, llvm-general>=3.3 && <3.4
124 Extensions: MultiParamTypeClasses, FunctionalDependencies,
125 FlexibleInstances, TemplateHaskell
126 ghc-prof-options: -auto-all -caf-all
127 ghc-options: -rtsopts
128 if os(linux)
129 cpp-options: -DLINUX
130 build-depends: unix
131 if os(darwin)
132 cpp-options: -DMACOSX
133 build-depends: unix
134 if os(windows)
135 cpp-options: -DWINDOWS
136 build-depends: Win32