git.iko.soy/Idris-dev
on d66da21 help sign in
Idris-dev/idris.cabal
448 lines 16 kB history raw
1Name: idris
2Version: 0.9.10.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
18 <http://www.idris-lang.org/documentation>.
19 Features include:
20 .
21 * Full dependent types with dependent pattern matching
22 .
23 * where clauses, with rule, simple case expressions,
24 pattern matching let and lambda bindings
25 .
26 * Type classes, monad comprehensions
27 .
28 * do notation, idiom brackets, syntactic conveniences for lists,
29 tuples, dependent pairs
30 .
31 * Totality checking
32 .
33 * Coinductive types
34 .
35 * Indentation significant syntax, extensible syntax
36 .
37 * Tactic based theorem proving (influenced by Coq)
38 .
39 * Cumulative universes
40 .
41 * Simple foreign function interface (to C)
42 .
43 * Hugs style interactive environment
45Cabal-Version: >= 1.6
47Build-type: Custom
49Data-files: jsrts/Runtime-browser.js
50 jsrts/Runtime-common.js
51 jsrts/Runtime-node.js
52 jsrts/jsbn/jsbn.js
53 jsrts/jsbn/LICENSE
54 rts/idris_gc.h
55 rts/idris_gmp.h
56 rts/idris_main.c
57 rts/idris_rts.h
58 rts/idris_stdfgn.h
59 rts/libtest.c
61Extra-source-files:
62 Makefile
63 config.mk
65 rts/*.c
66 rts/*.h
67 rts/Makefile
69 libs/Makefile
71 libs/prelude/prelude.ipkg
72 libs/prelude/Prelude/*.idr
73 libs/prelude/Decidable/*.idr
74 libs/prelude/Makefile
75 libs/prelude/*.idr
77 libs/base/base.ipkg
78 libs/base/*.idr
79 libs/base/Control/*.idr
80 libs/base/Control/Monad/*.idr
81 libs/base/Data/*.idr
82 libs/base/Data/Vect/*.idr
83 libs/base/Debug/*.idr
84 libs/base/Decidable/*.idr
85 libs/base/Language/*.idr
86 libs/base/Language/Reflection/*.idr
87 libs/base/Makefile
88 libs/base/Network/*.idr
89 libs/base/System/Concurrency/*.idr
92 libs/effects/Makefile
93 libs/effects/effects.ipkg
94 libs/effects/Effect/*.idr
95 libs/effects/*.idr
97 libs/javascript/*.idr
98 libs/javascript/JavaScript/*.idr
99 libs/javascript/Makefile
100 libs/javascript/javascript.ipkg
102 llvm/*.c
103 llvm/Makefile
105 test/Makefile
106 test/runtest.pl
107 test/reg001/run
108 test/reg001/*.idr
109 test/reg001/expected
110 test/reg002/run
111 test/reg002/*.idr
112 test/reg002/expected
113 test/reg003/run
114 test/reg003/*.idr
115 test/reg003/expected
116 test/reg004/run
117 test/reg004/*.idr
118 test/reg004/expected
119 test/reg005/run
120 test/reg005/*.idr
121 test/reg005/expected
122 test/reg006/run
123 test/reg006/*.idr
124 test/reg006/expected
125 test/reg007/run
126 test/reg007/*.lidr
127 test/reg007/expected
128 test/reg008/run
129 test/reg008/*.idr
130 test/reg008/expected
131 test/reg009/run
132 test/reg009/*.lidr
133 test/reg009/expected
134 test/reg010/run
135 test/reg010/*.idr
136 test/reg010/expected
137 test/reg011/run
138 test/reg011/*.idr
139 test/reg011/expected
140 test/reg012/run
141 test/reg012/*.lidr
142 test/reg012/expected
143 test/reg013/run
144 test/reg013/*.idr
145 test/reg013/expected
146 test/reg014/run
147 test/reg014/*.idr
148 test/reg014/expected
149 test/reg015/run
150 test/reg015/*.idr
151 test/reg015/expected
152 test/reg016/run
153 test/reg016/*.idr
154 test/reg016/expected
155 test/reg017/run
156 test/reg017/*.idr
157 test/reg017/expected
158 test/reg018/run
159 test/reg018/*.idr
160 test/reg018/expected
161 test/reg019/run
162 test/reg019/*.idr
163 test/reg019/expected
164 test/reg020/run
165 test/reg020/*.idr
166 test/reg020/expected
167 test/reg021/run
168 test/reg021/*.idr
169 test/reg021/expected
170 test/reg022/run
171 test/reg022/*.idr
172 test/reg022/expected
173 test/reg023/run
174 test/reg023/*.idr
175 test/reg023/expected
176 test/reg024/run
177 test/reg024/*.idr
178 test/reg024/expected
179 test/test001/run
180 test/test001/*.idr
181 test/test001/expected
182 test/test002/run
183 test/test002/*.idr
184 test/test002/expected
185 test/test003/run
186 test/test003/*.lidr
187 test/test003/expected
188 test/test004/run
189 test/test004/*.idr
190 test/test004/expected
191 test/test005/run
192 test/test005/*.idr
193 test/test005/expected
194 test/test006/run
195 test/test006/*.idr
196 test/test006/expected
197 test/test007/run
198 test/test007/*.idr
199 test/test007/expected
200 test/test008/run
201 test/test008/*.idr
202 test/test008/expected
203 test/test009/run
204 test/test009/*.idr
205 test/test009/expected
206 test/test010/run
207 test/test010/*.idr
208 test/test010/expected
209 test/test011/run
210 test/test011/*.idr
211 test/test011/expected
212 test/test012/run
213 test/test012/*.idr
214 test/test012/expected
215 test/test013/run
216 test/test013/*.idr
217 test/test013/expected
218 test/test014/run
219 test/test014/*.idr
220 test/test014/test
221 test/test014/expected
222 test/test015/run
223 test/test015/*.idr
224 test/test015/expected
225 test/test016/run
226 test/test016/*.idr
227 test/test016/expected
228 test/test017/run
229 test/test017/*.idr
230 test/test017/expected
231 test/test018/run
232 test/test018/*.idr
233 test/test018/expected
234 test/test019/run
235 test/test019/*.lidr
236 test/test019/expected
237 test/test020/run
238 test/test020/*.idr
239 test/test020/expected
240 test/test021/run
241 test/test021/*.idr
242 test/test021/testFile
243 test/test021/expected
244 test/test022/run
245 test/test022/*.idr
246 test/test022/expected
247 test/test023/run
248 test/test023/*.idr
249 test/test023/expected
250 test/test024/run
251 test/test024/*.idr
252 test/test024/input
253 test/test024/expected
254 test/test025/run
255 test/test025/*.idr
256 test/test025/expected
257 test/test026/run
258 test/test026/*.idr
259 test/test026/input
260 test/test026/theType
261 test/test026/theOtherType
262 test/test026/expected
263 test/test027/run
264 test/test027/*.idr
265 test/test027/expected
266 test/test028/run
267 test/test028/*.idr
268 test/test028/expected
269 test/test029/run
270 test/test029/*.idr
271 test/test029/expected
272 test/test030/run
273 test/test030/*.idr
274 test/test030/expected
275 test/test031/run
276 test/test031/*.idr
277 test/test031/expected
278 test/test032/run
279 test/test032/*.idr
280 test/test032/input
281 test/test032/expected
282 test/test033/run
283 test/test033/*.idr
284 test/test033/expected
285 test/test034/run
286 test/test034/expected
288source-repository head
289 type: git
290 location: git://github.com/idris-lang/Idris-dev.git
292Flag LLVM
293 Description: Build the LLVM backend
294 Default: False
295 manual: True
297Flag FFI
298 Description: Build support for libffi
299 Default: False
300 manual: True
302Flag GMP
303 Description: Use GMP for Integers
304 Default: False
305 manual: True
307Executable idris
308 Main-is: Main.hs
309 hs-source-dirs: src
310 Other-modules:
311 Core.CaseTree
312 , Core.Constraints
313 , Core.Elaborate
314 , Core.Evaluate
315 , Core.Execute
316 , Core.ProofState
317 , Core.TT
318 , Core.Typecheck
319 , Core.Unify
321 , Idris.AbsSyntax
322 , Idris.AbsSyntaxTree
323 , Idris.CaseSplit
324 , Idris.Chaser
325 , Idris.Colours
326 , Idris.Completion
327 , Idris.Coverage
328 , Idris.DSL
329 , Idris.DataOpts
330 , Idris.DeepSeq
331 , Idris.Delaborate
332 , Idris.Docs
333 , Idris.ElabDecls
334 , Idris.ElabTerm
335 , Idris.Error
336 , Idris.Help
337 , Idris.IBC
338 , Idris.IdeSlave
339 , Idris.Imports
340 , Idris.Inliner
341 , Idris.Parser
342 , Idris.ParseHelpers
343 , Idris.ParseOps
344 , Idris.ParseExpr
345 , Idris.ParseData
346 , Idris.PartialEval
347 , Idris.Primitives
348 , Idris.ProofSearch
349 , Idris.Prover
350 , Idris.Providers
351 , Idris.REPL
352 , Idris.REPLParser
353 , Idris.Transforms
354 , Idris.Unlit
355 , Idris.UnusedArgs
357 , IRTS.BCImp
358 , IRTS.Bytecode
359 , IRTS.CodegenC
360 , IRTS.CodegenCommon
361 , IRTS.CodegenJava
362 , IRTS.CodegenJavaScript
363 , IRTS.Compiler
364 , IRTS.Defunctionalise
365 , IRTS.DumpBC
366 , IRTS.Inliner
367 , IRTS.Java.ASTBuilding
368 , IRTS.Java.JTypes
369 , IRTS.Java.Mangling
370 , IRTS.Java.Pom
371 , IRTS.Lang
372 , IRTS.Simplified
374 , Util.Pretty
375 , Util.System
376 , Util.DynamicLinker
377 , Util.Net
379 , Pkg.Package
380 , Pkg.PParser
382 -- Auto Generated
383 Paths_idris
385 Build-depends: base >=4 && <5
386 , Cabal
387 , ansi-terminal
388 , ansi-wl-pprint
389 , binary
390 , bytestring
391 , containers
392 , directory
393 , directory >= 1.2
394 , filepath
395 , haskeline >= 0.7
396 , language-java >= 0.2.6
397 , mtl
398 --, parsec >= 3
399 , parsers == 0.9
400 , pretty
401 , process
402 , split
403 , text
404 , time >= 1.4
405 , transformers
406 , trifecta == 1.1
407 , unordered-containers
408 , utf8-string
409 , vector
410 , vector-binary-instances
411 , network
412 , xml
413 , deepseq
415 Extensions: MultiParamTypeClasses
416 , FunctionalDependencies
417 , FlexibleInstances
418 , TemplateHaskell
420 ghc-prof-options: -auto-all -caf-all
421 ghc-options: -threaded -rtsopts
423 if os(linux)
424 cpp-options: -DLINUX
425 build-depends: unix
426 if os(freebsd)
427 cpp-options: -DFREEBSD
428 build-depends: unix
429 if os(darwin)
430 cpp-options: -DMACOSX
431 build-depends: unix
432 if os(windows)
433 cpp-options: -DWINDOWS
434 build-depends: Win32
435 if flag(LLVM)
436 other-modules: IRTS.CodegenLLVM
437 cpp-options: -DIDRIS_LLVM
438 build-depends: llvm-general == 3.3.8.*
439 , llvm-general-pure == 3.3.8.*
440 else
441 other-modules: Util.LLVMStubs
442 if flag(FFI)
443 build-depends: libffi
444 cpp-options: -DIDRIS_FFI
445 if flag(GMP)
446 build-depends: libffi
447 cpp-options: -DIDRIS_GMP