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