@@ -42,7 +42,7 @@ Description: Idris is a general purpose language with full dependent types.
4242 .
4343 * Hugs style interactive environment
4444
45−Cabal-Version: >= 1.6
45+Cabal-Version: >= 1.8
4646
4747Build-type: Custom
4848
@@ -329,6 +329,7 @@ Flag release
329329 Description: This is an official release
330330 Default: False
331331 manual: True
332+
332333Library
333334 hs-source-dirs: src
334335 Exposed-modules:
@@ -396,130 +397,19 @@ Library
396397 , IRTS.Simplified
397398 , IRTS.System
398399
399− Other-modules:
400− Util.Pretty
401− , Util.System
402− , Util.DynamicLinker
403− , Util.Net
404−
405400 , Pkg.Package
406− , Pkg.PParser
407−
408− -- Auto Generated
409− Paths_idris
410−
411− Extensions: MultiParamTypeClasses
412− , FunctionalDependencies
413− , FlexibleInstances
414− , TemplateHaskell
415−
416− ghc-prof-options: -auto-all -caf-all
417− ghc-options: -threaded -rtsopts
418−
419− if os(linux)
420− cpp-options: -DLINUX
421− build-depends: unix
422− if os(freebsd)
423− cpp-options: -DFREEBSD
424− build-depends: unix
425− if os(darwin)
426− cpp-options: -DMACOSX
427− build-depends: unix
428− if os(windows)
429− cpp-options: -DWINDOWS
430− build-depends: Win32
431− if flag(LLVM)
432− other-modules: IRTS.CodegenLLVM
433− cpp-options: -DIDRIS_LLVM
434− build-depends: llvm-general == 3.3.8.*
435− , llvm-general-pure == 3.3.8.*
436− else
437− other-modules: Util.LLVMStubs
438− if flag(FFI)
439− build-depends: libffi
440− cpp-options: -DIDRIS_FFI
441− if flag(GMP)
442− build-depends: libffi
443− cpp-options: -DIDRIS_GMP
401+ , Util.DynamicLinker
444402
445−Executable idris
446− Main-is: Main.hs
447− hs-source-dirs: src
448403 Other-modules:
449− Idris.Core.CaseTree
450− , Idris.Core.Constraints
451− , Idris.Core.Elaborate
452− , Idris.Core.Evaluate
453− , Idris.Core.Execute
454− , Idris.Core.ProofState
455− , Idris.Core.TT
456− , Idris.Core.Typecheck
457− , Idris.Core.Unify
458−
459− , Idris.AbsSyntax
460− , Idris.AbsSyntaxTree
461− , Idris.CaseSplit
462− , Idris.Chaser
463− , Idris.Colours
464− , Idris.Completion
465− , Idris.Coverage
466− , Idris.DSL
467− , Idris.DataOpts
468− , Idris.DeepSeq
469− , Idris.Delaborate
470− , Idris.Docs
471− , Idris.ElabDecls
472− , Idris.ElabTerm
473− , Idris.Error
474− , Idris.Help
475− , Idris.IBC
476− , Idris.IdeSlave
477− , Idris.Imports
478− , Idris.Inliner
479− , Idris.Parser
480− , Idris.ParseHelpers
481− , Idris.ParseOps
482− , Idris.ParseExpr
483− , Idris.ParseData
484− , Idris.PartialEval
485− , Idris.Primitives
486− , Idris.ProofSearch
487− , Idris.Prover
488− , Idris.Providers
489− , Idris.REPL
490− , Idris.REPLParser
491− , Idris.Transforms
492− , Idris.Unlit
493− , Idris.UnusedArgs
494−
495− , IRTS.BCImp
496− , IRTS.Bytecode
497− , IRTS.CodegenC
498− , IRTS.CodegenCommon
499− , IRTS.CodegenJava
500− , IRTS.CodegenJavaScript
501− , IRTS.Compiler
502− , IRTS.Defunctionalise
503− , IRTS.DumpBC
504− , IRTS.Inliner
505− , IRTS.Java.ASTBuilding
506− , IRTS.Java.JTypes
507− , IRTS.Java.Mangling
508− , IRTS.Java.Pom
509− , IRTS.Lang
510− , IRTS.Simplified
511− , IRTS.System
512−
513− , Util.Pretty
404+ Util.Pretty
514405 , Util.System
515− , Util.DynamicLinker
516406 , Util.Net
517407
518− , Pkg.Package
519408 , Pkg.PParser
520409
521410 -- Auto Generated
522− Paths_idris
411+ , Paths_idris
412+ , Version_idris
523413
524414 Build-depends: base >=4 && <5
525415 , Cabal
@@ -549,7 +439,6 @@ Executable idris
549439 , network
550440 , xml
551441 , deepseq
552−
553442 Extensions: MultiParamTypeClasses
554443 , FunctionalDependencies
555444 , FlexibleInstances
@@ -584,3 +473,17 @@ Executable idris
584473 build-depends: libffi
585474 cpp-options: -DIDRIS_GMP
586475
476+Executable idris
477+ Main-is: Main.hs
478+ hs-source-dirs: main
479+
480+ Build-depends: idris
481+ , base
482+ , filepath
483+ , haskeline >= 0.7
484+ , transformers
485+
486+ ghc-prof-options: -auto-all -caf-all
487+ ghc-options: -threaded -rtsopts
488+
489+