git.iko.soy/Idris-dev
on master help sign in
Change idris.cabal so library only builds once
ef32bc6Edwin Brady
idris.cabal+20−117
compare with master
unifiedsplit
@@ -42,7 +42,7 @@ Description: Idris is a general purpose language with full dependent types.
42 .
42 .
43 * Hugs style interactive environment
43 * Hugs style interactive environment
44
44
45−Cabal-Version: >= 1.6
45+Cabal-Version: >= 1.8
46
46
47Build-type: Custom
47Build-type: Custom
48
48
@@ -329,6 +329,7 @@ Flag release
329 Description: This is an official release
329 Description: This is an official release
330 Default: False
330 Default: False
331 manual: True
331 manual: True
332+
332Library
333Library
333 hs-source-dirs: src
334 hs-source-dirs: src
334 Exposed-modules:
335 Exposed-modules:
@@ -396,130 +397,19 @@ Library
396 , IRTS.Simplified
397 , IRTS.Simplified
397 , IRTS.System
398 , IRTS.System
398
399
399− Other-modules:
400− Util.Pretty
401− , Util.System
402− , Util.DynamicLinker
403− , Util.Net
404−
405 , Pkg.Package
400 , Pkg.Package
406− , Pkg.PParser
401+ , Util.DynamicLinker
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
444
402
445−Executable idris
446− Main-is: Main.hs
447− hs-source-dirs: src
448 Other-modules:
403 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
514 , Util.System
405 , Util.System
515− , Util.DynamicLinker
516 , Util.Net
406 , Util.Net
517
407
518− , Pkg.Package
519 , Pkg.PParser
408 , Pkg.PParser
520
409
521 -- Auto Generated
410 -- Auto Generated
522− Paths_idris
411+ , Paths_idris
412+ , Version_idris
523
413
524 Build-depends: base >=4 && <5
414 Build-depends: base >=4 && <5
525 , Cabal
415 , Cabal
@@ -549,7 +439,6 @@ Executable idris
549 , network
439 , network
550 , xml
440 , xml
551 , deepseq
441 , deepseq
552−
553 Extensions: MultiParamTypeClasses
442 Extensions: MultiParamTypeClasses
554 , FunctionalDependencies
443 , FunctionalDependencies
555 , FlexibleInstances
444 , FlexibleInstances
@@ -584,3 +473,17 @@ Executable idris
584 build-depends: libffi
473 build-depends: libffi
585 cpp-options: -DIDRIS_GMP
474 cpp-options: -DIDRIS_GMP
586
475
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+
src/Main.hs → main/Main.hsrenamed

The content is the same.