git.iko.soy/Idris-dev
on 1ce70cc help sign in
Idris-dev/idris.cabal
129 lines 5.5 kB history raw
1Name: idris
2Version: 0.9.8
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/System/Concurrency/*.idr
60 lib/Data/*.idr lib/Debug/*.idr
61 lib/Data/Vect/*.idr
62 lib/Decidable/*.idr
63 tutorial/examples/*.idr lib/base.ipkg
64 effects/Makefile effects/*.idr effects/Effect/*.idr
65 effects/effects.ipkg
66 config.mk
67 rts/*.c rts/*.h rts/Makefile
68 js/*.js
69 java/org/idris/rts/*.java
71source-repository head
72 type: git
73 location: git://github.com/edwinb/Idris-dev.git
75Flag Java
76 Description: Build the Java RTS
77 Default: False
79Flag NoEffects
80 Description: Do not build the effects package
81 Default: False
83Executable idris
84 Main-is: Main.hs
85 hs-source-dirs: src
86 Other-modules: Core.TT, Core.Evaluate, Core.Execute, Core.Typecheck,
87 Core.ProofShell, Core.ProofState, Core.CoreParser,
88 Core.ShellParser, Core.Unify, Core.Elaborate,
89 Core.CaseTree, Core.Constraints,
91 Idris.AbsSyntax, Idris.AbsSyntaxTree,
92 Idris.Parser, Idris.Help, Idris.REPL,
93 Idris.REPLParser, Idris.ElabDecls, Idris.Error,
94 Idris.Delaborate, Idris.Primitives, Idris.Imports,
95 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
96 Idris.Coverage, Idris.IBC, Idris.Unlit,
97 Idris.DataOpts, Idris.Transforms, Idris.DSL,
98 Idris.UnusedArgs, Idris.Docs, Idris.Completion,
100 Util.Pretty, Util.System, Util.DynamicLinker,
101 Pkg.Package, Pkg.PParser,
103 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
104 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
105 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
106 IRTS.CodegenJavaScript,
107 IRTS.CodegenCommon, IRTS.DumpBC
109 Paths_idris
111 Build-depends: base>=4 && <5, parsec>=3, mtl, Cabal,
112 haskeline>=0.7, split, directory,
113 containers, process, transformers, filepath,
114 directory, binary, bytestring, text, pretty,
115 language-java>=0.2.2, libffi
117 Extensions: MultiParamTypeClasses, FunctionalDependencies,
118 FlexibleInstances, TemplateHaskell
119 ghc-prof-options: -auto-all -caf-all
120 ghc-options: -rtsopts
121 if os(linux)
122 cpp-options: -DLINUX
123 build-depends: unix
124 if os(darwin)
125 cpp-options: -DMACOSX
126 build-depends: unix
127 if os(windows)
128 cpp-options: -DWINDOWS
129 build-depends: Win32