git.iko.soy/Idris-dev
on be22ac6 help sign in
Idris-dev/idris.cabal
945 lines 36 kB history raw
1Name: idris
2Version: 0.9.17.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.8
47Build-type: Custom
49Data-files: idrisdoc/styles.css
50 jsrts/Runtime-browser.js
51 jsrts/Runtime-common.js
52 jsrts/Runtime-node.js
53 jsrts/jsbn/jsbn.js
54 jsrts/jsbn/LICENSE
55 rts/arduino/idris_main.c
56 rts/idris_bitstring.c
57 rts/idris_bitstring.h
58 rts/idris_gc.c
59 rts/idris_gc.h
60 rts/idris_gmp.c
61 rts/idris_gmp.h
62 rts/idris_heap.c
63 rts/idris_heap.h
64 rts/idris_main.c
65 rts/idris_net.c
66 rts/idris_net.h
67 rts/idris_opts.c
68 rts/idris_opts.h
69 rts/idris_rts.c
70 rts/idris_rts.h
71 rts/idris_stats.c
72 rts/idris_stats.h
73 rts/idris_stdfgn.c
74 rts/idris_stdfgn.h
75 rts/mini-gmp.c
76 rts/mini-gmp.h
77 rts/libtest.c
79Extra-source-files:
80 Makefile
81 config.mk
83 rts/*.c
84 rts/*.h
85 rts/arduino/*.c
86 rts/windows/*.c
87 rts/Makefile
89 libs/Makefile
91 libs/prelude/prelude.ipkg
92 libs/prelude/Prelude/*.idr
93 libs/prelude/Decidable/*.idr
94 libs/prelude/Language/*.idr
95 libs/prelude/Language/Reflection/*.idr
96 libs/prelude/Makefile
97 libs/prelude/*.idr
99 libs/base/base.ipkg
100 libs/base/*.idr
101 libs/base/Control/*.idr
102 libs/base/Control/Monad/*.idr
103 libs/base/Data/*.idr
104 libs/base/Data/Vect/*.idr
105 libs/base/Debug/*.idr
106 libs/base/Language/Reflection/*.idr
107 libs/base/Makefile
108 libs/base/System/*.idr
109 libs/base/System/Concurrency/*.idr
110 libs/base/Syntax/*.idr
112 libs/contrib/contrib.ipkg
113 libs/contrib/Makefile
114 libs/contrib/Classes/*.idr
115 libs/contrib/Control/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
117 libs/contrib/Control/Algebra/*.idr
118 libs/contrib/Data/*.idr
119 libs/contrib/Decidable/*.idr
120 libs/contrib/Network/*.idr
121 libs/contrib/System/Concurrency/*.idr
123 libs/effects/Makefile
124 libs/effects/effects.ipkg
125 libs/effects/Effect/*.idr
126 libs/effects/*.idr
128 test/Makefile
129 test/runtest.pl
130 test/reg001/run
131 test/reg001/*.idr
132 test/reg001/expected
133 test/reg002/run
134 test/reg002/*.idr
135 test/reg002/expected
136 test/reg003/run
137 test/reg003/*.idr
138 test/reg003/expected
139 test/reg004/run
140 test/reg004/*.idr
141 test/reg004/expected
142 test/reg005/run
143 test/reg005/*.idr
144 test/reg005/expected
145 test/reg006/run
146 test/reg006/*.idr
147 test/reg006/expected
148 test/reg007/run
149 test/reg007/*.lidr
150 test/reg007/expected
151 test/reg009/run
152 test/reg009/*.lidr
153 test/reg009/expected
154 test/reg010/run
155 test/reg010/*.idr
156 test/reg010/expected
157 test/reg011/run
158 test/reg011/*.idr
159 test/reg011/expected
160 test/reg012/run
161 test/reg012/*.lidr
162 test/reg012/expected
163 test/reg013/run
164 test/reg013/*.idr
165 test/reg013/expected
166 test/reg014/run
167 test/reg014/*.idr
168 test/reg014/expected
169 test/reg015/run
170 test/reg015/*.idr
171 test/reg015/expected
172 test/reg016/run
173 test/reg016/*.idr
174 test/reg016/expected
175 test/reg017/run
176 test/reg017/*.idr
177 test/reg017/expected
178 test/reg018/run
179 test/reg018/*.idr
180 test/reg018/expected
181 test/reg019/run
182 test/reg019/*.idr
183 test/reg019/expected
184 test/reg020/run
185 test/reg020/*.idr
186 test/reg020/expected
187 test/reg021/run
188 test/reg021/*.idr
189 test/reg021/expected
190 test/reg022/run
191 test/reg022/*.idr
192 test/reg022/expected
193 test/reg023/run
194 test/reg023/*.idr
195 test/reg023/expected
196 test/reg024/run
197 test/reg024/*.idr
198 test/reg024/expected
199 test/reg025/run
200 test/reg025/*.idr
201 test/reg025/expected
202 test/reg026/run
203 test/reg026/*.idr
204 test/reg026/expected
205 test/reg027/run
206 test/reg027/*.idr
207 test/reg027/expected
208 test/reg028/run
209 test/reg028/*.idr
210 test/reg028/expected
211 test/reg029/run
212 test/reg029/*.idr
213 test/reg029/expected
214 test/reg030/run
215 test/reg030/*.idr
216 test/reg030/expected
217 test/reg031/run
218 test/reg031/*.idr
219 test/reg031/expected
220 test/reg032/run
221 test/reg032/*.idr
222 test/reg032/expected
223 test/reg033/run
224 test/reg033/*.idr
225 test/reg033/expected
226 test/reg034/run
227 test/reg034/*.idr
228 test/reg034/expected
229 test/reg035/run
230 test/reg035/*.idr
231 test/reg035/*.lidr
232 test/reg035/expected
233 test/reg036/run
234 test/reg036/*.idr
235 test/reg036/expected
236 test/reg037/run
237 test/reg037/*.idr
238 test/reg037/expected
239 test/reg038/run
240 test/reg038/*.idr
241 test/reg038/expected
242 test/reg039/run
243 test/reg039/*.idr
244 test/reg039/expected
245 test/reg040/run
246 test/reg040/*.idr
247 test/reg040/expected
248 test/reg041/run
249 test/reg041/*.idr
250 test/reg041/expected
251 test/reg042/run
252 test/reg042/*.idr
253 test/reg042/expected
254 test/reg044/run
255 test/reg044/*.idr
256 test/reg044/expected
257 test/reg045/run
258 test/reg045/*.idr
259 test/reg045/expected
260 test/reg046/run
261 test/reg046/*.idr
262 test/reg046/expected
263 test/reg047/run
264 test/reg047/*.idr
265 test/reg047/expected
266 test/reg048/run
267 test/reg048/*.idr
268 test/reg048/expected
269 test/reg049/run
270 test/reg049/*.idr
271 test/reg049/expected
272 test/reg050/run
273 test/reg050/*.idr
274 test/reg050/expected
275 test/reg051-disabled/run
276 test/reg051-disabled/*.idr
277 test/reg051-disabled/expected
278 test/reg052/run
279 test/reg052/*.idr
280 test/reg052/expected
281 test/reg053/run
282 test/reg053/*.idr
283 test/reg053/expected
284 test/reg054/run
285 test/reg054/*.idr
286 test/reg054/expected
287 test/reg055/run
288 test/reg055/*.idr
289 test/reg055/expected
290 test/reg056/run
291 test/reg056/*.idr
292 test/reg056/expected
293 test/reg057/run
294 test/reg057/*.idr
295 test/reg057/expected
296 test/reg058/run
297 test/reg058/*.idr
298 test/reg058/expected
299 test/reg059/run
300 test/reg059/*.idr
301 test/reg059/expected
302 test/reg060/run
303 test/reg060/*.idr
304 test/reg060/expected
305 test/reg061/run
306 test/reg061/*.idr
307 test/reg061/expected
309 test/basic001/run
310 test/basic001/*.idr
311 test/basic001/expected
312 test/basic002/run
313 test/basic002/*.idr
314 test/basic002/expected
315 test/basic003/run
316 test/basic003/*.idr
317 test/basic003/expected
318 test/basic004/run
319 test/basic004/*.idr
320 test/basic004/expected
321 test/basic005/run
322 test/basic005/*.lidr
323 test/basic005/expected
324 test/basic006/run
325 test/basic006/*.idr
326 test/basic006/expected
327 test/basic007/run
328 test/basic007/*.idr
329 test/basic007/expected
330 test/basic008/run
331 test/basic008/*.idr
332 test/basic008/expected
333 test/basic009/run
334 test/basic009/*.idr
335 test/basic009/expected
336 test/basic009/B/*.idr
337 test/basic010/run
338 test/basic010/*.idr
339 test/basic010/expected
340 test/basic011/run
341 test/basic011/*.idr
342 test/basic011/expected
343 test/basic012/run
344 test/basic012/*.idr
345 test/basic012/expected
346 test/basic013/run
347 test/basic013/*.idr
348 test/basic013/expected
350 test/delab001/*.idr
351 test/delab001/run
352 test/delab001/expected
353 test/delab001/input
355 test/dsl001/run
356 test/dsl001/*.idr
357 test/dsl001/expected
358 test/dsl002/run
359 test/dsl002/test
360 test/dsl002/*.idr
361 test/dsl002/expected
362 test/dsl003/run
363 test/dsl003/*.idr
364 test/dsl003/expected
366 test/effects001/run
367 test/effects001/*.idr
368 test/effects001/expected
369 test/effects001/testFile
370 test/effects002/run
371 test/effects002/*.idr
372 test/effects002/expected
373 test/effects003/run
374 test/effects003/*.idr
375 test/effects003/expected
376 test/effects003/input
377 test/effects004/run
378 test/effects004/*.idr
379 test/effects004/expected
380 test/effects004/input
382 test/error001/run
383 test/error001/*.idr
384 test/error001/expected
385 test/error002/run
386 test/error002/*.idr
387 test/error002/expected
388 test/error003/run
389 test/error003/*.idr
390 test/error003/expected
391 test/error004/run
392 test/error004/*.idr
393 test/error004/expected
394 test/error005/run
395 test/error005/*.idr
396 test/error005/expected
398 test/ffi001/run
399 test/ffi001/*.idr
400 test/ffi001/expected
401 test/ffi002/run
402 test/ffi002/*.idr
403 test/ffi002/expected
404 test/ffi003/run
405 test/ffi003/*.idr
406 test/ffi003/expected
407 test/ffi003/input
408 test/ffi004/run
409 test/ffi004/*.idr
410 test/ffi004/theType
411 test/ffi004/theOtherType
412 test/ffi004/expected
413 test/ffi005/*.idr
414 test/ffi005/run
415 test/ffi005/expected
416 test/ffi006/*.idr
417 test/ffi006/*.c
418 test/ffi006/run
419 test/ffi006/expected
421 test/idrisdoc001/run
422 test/idrisdoc001/expected
423 test/idrisdoc001/*.idr
424 test/idrisdoc001/*.ipkg
425 test/idrisdoc002/run
426 test/idrisdoc002/expected
427 test/idrisdoc002/*.idr
428 test/idrisdoc002/*.ipkg
429 test/idrisdoc003/run
430 test/idrisdoc003/expected
431 test/idrisdoc003/*.idr
432 test/idrisdoc003/*.ipkg
433 test/idrisdoc004/run
434 test/idrisdoc004/expected
435 test/idrisdoc004/*.idr
436 test/idrisdoc004/*.ipkg
437 test/idrisdoc005/run
438 test/idrisdoc005/expected
439 test/idrisdoc005/*.idr
440 test/idrisdoc005/*.ipkg
441 test/idrisdoc006/run
442 test/idrisdoc006/expected
443 test/idrisdoc006/A/fully/Qualified/NAME.idr
444 test/idrisdoc006/*.idr
445 test/idrisdoc006/*.ipkg
446 test/idrisdoc007/run
447 test/idrisdoc007/expected
448 test/idrisdoc007/*.idr
449 test/idrisdoc007/*.ipkg
450 test/idrisdoc008/run
451 test/idrisdoc008/expected
452 test/idrisdoc008/*.idr
453 test/idrisdoc008/*.ipkg
454 test/idrisdoc009/run
455 test/idrisdoc009/expected
456 test/idrisdoc009/input
457 test/idrisdoc009/*.idr
460 test/interactive001/run
461 test/interactive001/input
462 test/interactive001/*.idr
463 test/interactive001/expected
464 test/interactive002/run
465 test/interactive002/input
466 test/interactive002/*.idr
467 test/interactive002/expected
468 test/interactive003/run
469 test/interactive003/input
470 test/interactive003/*.idr
471 test/interactive003/expected
472 test/interactive004/run
473 test/interactive004/input
474 test/interactive004/*.idr
475 test/interactive004/expected
476 test/interactive005/run
477 test/interactive005/input
478 test/interactive005/*.idr
479 test/interactive005/expected
480 test/interactive006/run
481 test/interactive006/input
482 test/interactive006/*.idr
483 test/interactive006/expected
484 test/interactive007/run
485 test/interactive007/input
486 test/interactive007/expected
488 test/io001/run
489 test/io001/*.idr
490 test/io001/expected
491 test/io002/run
492 test/io002/*.idr
493 test/io002/expected
494 test/io003/run
495 test/io003/*.idr
496 test/io003/expected
498 test/literate001/run
499 test/literate001/*.lidr
500 test/literate001/expected
502 test/primitives001/run
503 test/primitives001/*.idr
504 test/primitives001/expected
505 test/primitives002/run
506 test/primitives002/expected
507 test/primitives003/run
508 test/primitives003/*.idr
509 test/primitives003/expected
511 test/proof001/run
512 test/proof001/*.idr
513 test/proof001/expected
514 test/proof002/run
515 test/proof002/*.idr
516 test/proof002/expected
517 test/proof003/run
518 test/proof003/*.idr
519 test/proof003/expected
520 test/proof004/run
521 test/proof004/*.idr
522 test/proof004/expected
523 test/proof005/run
524 test/proof005/*.idr
525 test/proof005/expected
526 test/proof006/run
527 test/proof006/*.idr
528 test/proof006/expected
529 test/proof007/run
530 test/proof007/*.idr
531 test/proof007/expected
532 test/proof008/run
533 test/proof008/*.idr
534 test/proof008/expected
535 test/proof009/run
536 test/proof009/*.idr
537 test/proof009/expected
538 test/proof009/input
539 test/proof010/run
540 test/proof010/*.idr
541 test/proof010/expected
543 test/quasiquote001/run
544 test/quasiquote001/*.idr
545 test/quasiquote001/expected
546 test/quasiquote002/run
547 test/quasiquote002/*.idr
548 test/quasiquote002/expected
549 test/quasiquote003/run
550 test/quasiquote003/*.idr
551 test/quasiquote003/expected
552 test/quasiquote004/run
553 test/quasiquote004/*.idr
554 test/quasiquote004/expected
555 test/quasiquote005/run
556 test/quasiquote005/*.idr
557 test/quasiquote005/expected
560 test/records001/run
561 test/records001/*.idr
562 test/records001/expected
563 test/records002/run
564 test/records002/*.idr
565 test/records002/expected
566 test/records003/run
567 test/records003/*.idr
568 test/records003/expected
570 test/sourceLocation001/run
571 test/sourceLocation001/*.idr
572 test/sourceLocation001/expected
574 test/sugar001/run
575 test/sugar001/*.idr
576 test/sugar001/expected
577 test/sugar002/run
578 test/sugar002/*.idr
579 test/sugar002/expected
580 test/sugar003/run
581 test/sugar003/*.idr
582 test/sugar003/expected
583 test/sugar004/run
584 test/sugar004/*.idr
585 test/sugar004/expected
586 test/sugar005/run
587 test/sugar005/*.idr
588 test/sugar005/expected
590 test/tactics001/run
591 test/tactics001/*.idr
592 test/tactics001/expected
594 test/totality001/run
595 test/totality001/*.idr
596 test/totality001/expected
597 test/totality002/run
598 test/totality002/*.idr
599 test/totality002/expected
600 test/totality003/run
601 test/totality003/*.idr
602 test/totality003/expected
603 test/totality004/run
604 test/totality004/*.idr
605 test/totality004/expected
606 test/totality005/run
607 test/totality005/*.idr
608 test/totality005/expected
609 test/totality006/run
610 test/totality006/*.idr
611 test/totality006/expected
612 test/totality007/run
613 test/totality007/*.ipkg
614 test/totality007/src/*.idr
615 test/totality007/expected
616 test/totality008/run
617 test/totality008/*.idr
618 test/totality008/expected
619 test/totality009/run
620 test/totality009/*.idr
621 test/totality009/expected
623 test/tutorial001/run
624 test/tutorial001/*.idr
625 test/tutorial001/expected
626 test/tutorial002/run
627 test/tutorial002/*.idr
628 test/tutorial002/expected
629 test/tutorial003/run
630 test/tutorial003/*.idr
631 test/tutorial003/expected
632 test/tutorial004/run
633 test/tutorial004/*.idr
634 test/tutorial004/expected
635 test/tutorial005/run
636 test/tutorial005/*.idr
637 test/tutorial005/expected
638 test/tutorial006/run
639 test/tutorial006/*.idr
640 test/tutorial006/expected
642 test/unique001/run
643 test/unique001/*.idr
644 test/unique001/expected
645 test/unique002/run
646 test/unique002/*.idr
647 test/unique002/expected
648 test/unique003/run
649 test/unique003/*.idr
650 test/unique003/expected
652 test/docs001/run
653 test/docs001/input
654 test/docs001/*.idr
655 test/docs001/expected
656 test/docs002/run
657 test/docs002/input
658 test/docs002/*.idr
659 test/docs002/expected
660 test/docs003/run
661 test/docs003/input
662 test/docs003/*.idr
663 test/docs003/expected
666source-repository head
667 type: git
668 location: git://github.com/idris-lang/Idris-dev.git
670Flag FFI
671 Description: Build support for libffi
672 Default: False
673 manual: True
675Flag GMP
676 Description: Use GMP for Integers
677 Default: False
678 manual: True
680Flag curses
681 Description: Use Curses to get the screen width
682 Default: False
683 manual: True
685-- This flag determines whether to show Git hashes in version strings
686-- Defaults to True because Hackage is a source release
687Flag release
688 Description: This is an official release
689 Default: False
690 manual: True
692Flag freestanding
693 Description: Build an Idris that doesn't use cabal
694 Default: False
695 manual: True
697Flag CI
698 Description: Built everything using "-Werror", meant for CI-builds only
699 Default: False
700 manual: True
702Flag execonly
703 Description: Build executables only, skip the libraries and RTS
704 Default: False
705 manual: True
707Library
708 hs-source-dirs: src
709 Exposed-modules:
710 Idris.Core.Binary
711 , Idris.Core.CaseTree
712 , Idris.Core.Constraints
713 , Idris.Core.DeepSeq
714 , Idris.Core.Elaborate
715 , Idris.Core.Evaluate
716 , Idris.Core.Execute
717 , Idris.Core.ProofState
718 , Idris.Core.ProofTerm
719 , Idris.Core.TT
720 , Idris.Core.Typecheck
721 , Idris.Core.Unify
723 , Idris.Elab.Utils
724 , Idris.Elab.Type
725 , Idris.Elab.AsPat
726 , Idris.Elab.Clause
727 , Idris.Elab.Data
728 , Idris.Elab.Record
729 , Idris.Elab.Class
730 , Idris.Elab.Instance
731 , Idris.Elab.Provider
732 , Idris.Elab.Transform
733 , Idris.Elab.Value
735 , Idris.AbsSyntax
736 , Idris.AbsSyntaxTree
737 , Idris.Apropos
738 , Idris.ASTUtils
739 , Idris.CaseSplit
740 , Idris.Chaser
741 , Idris.Colours
742 , Idris.Completion
743 , Idris.Coverage
744 , Idris.DSL
745 , Idris.DataOpts
746 , Idris.DeepSeq
747 , Idris.Delaborate
748 , Idris.Docs
749 , Idris.Docstrings
750 , Idris.ElabDecls
751 , Idris.ElabQuasiquote
752 , Idris.ElabTerm
753 , Idris.Erasure
754 , Idris.Error
755 , Idris.ErrReverse
756 , Idris.Help
757 , Idris.IBC
758 , Idris.IdeMode
759 , Idris.IdrisDoc
760 , Idris.Imports
761 , Idris.Inliner
762 , Idris.Interactive
763 , Idris.Output
764 , Idris.Parser
765 , Idris.ParseHelpers
766 , Idris.ParseOps
767 , Idris.ParseExpr
768 , Idris.ParseData
769 , Idris.PartialEval
770 , Idris.Primitives
771 , Idris.ProofSearch
772 , Idris.Prover
773 , Idris.Providers
774 , Idris.Reflection
775 , Idris.REPL
776 , Idris.REPLParser
777 , Idris.Transforms
778 , Idris.TypeSearch
779 , Idris.Unlit
780 , Idris.WhoCalls
781 , Idris.CmdOptions
783 , IRTS.BCImp
784 , IRTS.Bytecode
785 , IRTS.CodegenC
786 , IRTS.CodegenCommon
787 , IRTS.CodegenJavaScript
788 , IRTS.Exports
789 , IRTS.JavaScript.AST
790 , IRTS.Compiler
791 , IRTS.Defunctionalise
792 , IRTS.DumpBC
793 , IRTS.Inliner
794 , IRTS.Lang
795 , IRTS.LangOpts
796 , IRTS.Simplified
797 , IRTS.System
799 , Pkg.Package
800 , Util.DynamicLinker
801 , Util.ScreenSize
802 , Util.System
804 Other-modules:
805 Util.Pretty
806 , Util.Net
807 , Util.Zlib
809 , Pkg.PParser
811 -- Auto Generated
812 , Paths_idris
813 , Version_idris
814 , Tools_idris
816 Build-depends: base >=4 && <5
817 , annotated-wl-pprint >= 0.5.3 && < 0.6
818 , ansi-terminal < 0.7
819 , ansi-wl-pprint < 0.7
820 , base64-bytestring < 1.1
821 , binary >= 0.7 && < 0.8
822 , blaze-html >= 0.6.1.3 && < 0.8
823 , blaze-markup >= 0.5.2.1 && < 0.6.3.0
824 , bytestring < 0.11
825 , cheapskate < 0.2
826 , containers >= 0.5 && < 0.6
827 , deepseq < 1.5
828 , directory >= 1.2 && < 1.3
829 , filepath < 1.5
830 , fingertree >= 0.1 && < 0.2
831 , haskeline >= 0.7 && < 0.8
832 , lens >= 4.1.1 && < 4.9
833 , mtl >= 2.1 && < 2.3
834 , network < 2.7
835 , optparse-applicative >= 0.11 && < 0.12
836 , parsers >= 0.9 && < 0.13
837 , pretty < 1.2
838 , process < 1.3
839 , split < 0.3
840 , text < 1.3
841 , time >= 1.4 && < 1.6
842 , transformers < 0.5
843 , transformers-compat >= 0.3
844 , trifecta >= 1.1 && < 1.6
845 , uniplate >=1.6 && < 1.7
846 , unordered-containers < 0.3
847 , utf8-string < 0.4
848 , vector < 0.11
849 , vector-binary-instances < 0.3
850 , xml < 1.4
851 , zlib < 0.6
852 , safe
853 Extensions: MultiParamTypeClasses
854 , DeriveFoldable
855 , DeriveTraversable
856 , FunctionalDependencies
857 , FlexibleContexts
858 , FlexibleInstances
859 , TemplateHaskell
861 ghc-prof-options: -auto-all -caf-all
862 ghc-options: -threaded -rtsopts
864 if os(linux)
865 cpp-options: -DLINUX
866 build-depends: unix < 2.8
867 if os(freebsd)
868 cpp-options: -DFREEBSD
869 build-depends: unix < 2.8
870 if os(dragonfly)
871 cpp-options: -DDRAGONFLY
872 build-depends: unix < 2.8
873 if os(darwin)
874 cpp-options: -DMACOSX
875 build-depends: unix < 2.8
876 if os(windows)
877 cpp-options: -DWINDOWS
878 build-depends: Win32 < 2.4
879 if flag(FFI)
880 build-depends: libffi < 0.2
881 cpp-options: -DIDRIS_FFI
882 if flag(GMP)
883 build-depends: libffi < 0.2
884 cpp-options: -DIDRIS_GMP
885 if flag(curses)
886 build-depends: hscurses < 1.5
887 cpp-options: -DCURSES
888 if flag(freestanding)
889 other-modules: Target_idris
890 cpp-options: -DFREESTANDING
891 if flag(CI)
892 ghc-options: -Werror
894Executable idris
895 Main-is: Main.hs
896 hs-source-dirs: main
898 Build-depends: idris
899 , base
900 , filepath
901 , directory
902 , haskeline >= 0.7
903 , transformers
905 ghc-prof-options: -auto-all -caf-all
906 ghc-options: -threaded -rtsopts -funbox-strict-fields
908Executable idris-c
909 Main-is: Main.hs
910 hs-source-dirs: codegen/idris-c
912 Build-depends: idris
913 , base
914 , filepath
915 , haskeline >= 0.7
916 , transformers
918 ghc-prof-options: -auto-all -caf-all
919 ghc-options: -threaded -rtsopts -funbox-strict-fields
921Executable idris-javascript
922 Main-is: Main.hs
923 hs-source-dirs: codegen/idris-javascript
925 Build-depends: idris
926 , base
927 , filepath
928 , haskeline >= 0.7
929 , transformers
931 ghc-prof-options: -auto-all -caf-all
932 ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
934Executable idris-node
935 Main-is: Main.hs
936 hs-source-dirs: codegen/idris-node
938 Build-depends: idris
939 , base
940 , filepath
941 , haskeline >= 0.7
942 , transformers
944 ghc-prof-options: -auto-all -caf-all
945 ghc-options: -threaded -rtsopts -funbox-strict-fields -O2